GADTs and pedagogy was Re: GADTs and fundeps

[Simon Peyton-Jones]

| > You mean, if the data type being defined doesn't actually use the
| > generality of GADTs, allow GADT syntax, and deriving() too?
| 
| Yes, that would be very nice for the HaskellDemo and new users.
| I'd definitely switch all of my non-GADT datatypes to use that.

I finally got around to doing this; turned out to be trivial.

Record syntax aside, you can now declare any Haskell-98 data type using
the GADT-style where-clause syntax, including 'deriving'.

Simon