A Haskell 98 logically uninhabited data type,
used to indicate that a given term should not exist.
