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.

impossible

let impossible : <A>None -> A

Turns an absurd value into an arbitrary type.