3 ms·

I think tagged unions with exhaustive type checking and no nulls are the two killer features for correctness