シンプルにやりたいことはほとんどのケースで Union なんだけど、きっちりやるなら Tagged Union だし、 Swift はいいとこ取りしようとしたけどインチキによる複雑さを持ち込んじゃったし。