Java 、あそこだけ untagged union になってて、 catch でも union っぽい記法になってるのおもしろい。もうどうせなら untagged union 導入しちゃえばいいのに。