They already said: > use the type system to help us use special values safely ... but this is not the place to explain what a type system is or what sum types

They already said: > use the type system to help us use special values safely ... but this is not the place to explain what a type system is or what sum types/maybe/optional/etc. are.