More importantly, they let you safely not check for null (because with null-types, you should really always be handling it, because anything can go from never-n

More importantly, they let you safely not check for null (because with null-types, you should really always be handling it, because anything can go from never-null to null-in-this-one-case without warning)