Philip Wadler writes:
>
> > 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
I would like to propose an alternative that in my view has both good
syntax, and does not introduce a new keyword:
data Empty
/Magnus
