Haskell 98 logically uninhabited data type
