10/21/2019, 12:30 AM
i don't think that the "maybeness" can be checked.
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