Yeah, but there could be a type T for "any type" additional to union types, basically like TRUE in Boolean logic. (Theoretically you could also have F for "no type", intersection types (AND), negation types (not Foo), and any logical complex of those.)

I just think that the nesting offered by Option & Co has overall much more downsides than upsides compared to union types.