> A nil check is suspicious when it silently handles a state the program claims should be impossible.

If only that could be expressed in the type system. Instead, the programmer is now forced to think about these things everywhere over their entire codebase.