Pattern matching over nested `Union` types in Python

Question

Building a Python library, I am using type hints to guarantee consistency over certain data representation. In particular, I am making use of Union (sum types) in a