witty-crayon-22786
10/21/2019, 12:30 AM@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