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