Ceylon とかだと Foo? は Foo|Null という (Untagged) Union になってて、当然 Foo は Foo?` のサブタイプなんですけど、