Well, it's true non-null types can be statically checked. But if you try to code without nulls, what is the chance to run into null pointer?