Optional 、 Union がいいのか（ Kotlin, TypeScript, Python ）、 Tagged Union がいいのか（ Scala, Haskell ）、インチキサブタイプがいいのか（ Swift ）、どれがいいのかずっと自分の中で結論が出てない。