うん。non-nominalのエイリアスって微妙なケースが多くて、それだったらnominalにした方が良いという感覚だから、untagged unionにエイリアスってピンと来なくて、それはtagged unionが必要なんじゃないかと。 (edited)