> It looks ugly, but we could say that a data declaration does not 
> have to have any constructors:
>       data Empty =
>    -- Lennart

I agree that the best way to fix this is to have a form of data
declaration with no constructors, but I'm not keen on the syntax you
propose.  How about if we allow the rhs of a data declaration to be
just `empty', where `empty' is a keyword?

        data Empty = empty

-- P

Reply via email to