GADTs and pedagogy was Re: GADTs and fundeps
simonpj at microsoft.com
Thu Jul 21 07:06:27 EDT 2005
| > 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'.
More information about the Glasgow-haskell-users