It reminds me more of Haskell than C. C type aliases look like `typedef int str;`.
I meant general syntax `<keyword> <identifier> = <value>`, which is absent in python.
Not all type aliases are unions. It's odd to me to privilege unions in this way.
Of course! But `Union` is quite often (at least in my humble experience) the most external one, especially with `Optional` becoming `| None` with PEP 604.
Anyway thanks for the feedback.