新しい構文で type U = T | S と書いて実行時に isinstance でどっちか判定する際に U.__value__ 使わないとエラーになるのなんだかな...
古い TypeAlias のほう deprecated にするならこのケースも気持ちよく書けるようにして欲しい.