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