A Haskell 98 logically uninhabited data type