This missed the point. The point of not that you can forget to check the null case. The point is that you can express that sometimes there's no null case.
The "no null" case in traditional languages is just "int" instead of "*int". All values inside an "int" are valid integers.
Certainly it's problematic to use the same language primitive to mean "a pointer" and "this might be empty", but it's what people use them for in every language that has pointers (that I've used anyway).
