None — The absent value

The None type represents a type with no value, often used to mark dead code.

For example, the type [None] has only empty lists.

absurd

Turns an absurd value into an arbitrary type.

absurd : <A> None -> A