> Suggestion: Include among the basic types of Haskell a type `Empty'
> that contains no value except bottom.
Absolutely!  But I don't think it should be built in
(unless absolutely necessary).

It looks ugly, but we could say that a data declaration does not 
have to have any constructors:

        data Empty =

   -- Lennart

PS. There are other ways of getting empty types, but they are
all convoluted, like

        data Empty = Empty !Empty

Reply via email to