What is a valid reason to add a "null" into a modern language? I thought it's a commonly established truth that it has been a mistake
It also makes sense in a statically typed language with union types, think `string | undefined` in TypeScript. The extra layer added by Some/None is not fundamentally necessary for safety.