Re: [Haskell-cafe] Re: Type without a data constructor?