i don't think that the "maybeness" can be checked.

@union

allows for a closed world, which i don't think you can get with maybe. for example: if something can't be computed with a type, is that intentional, or is that an error? it means that something would be a runtime error rather than a "compile" time error