GADTs and pedagogy was Re: GADTs and fundeps

Shae Matijs Erisson shae at
Fri Apr 8 10:05:27 EDT 2005

"Simon Peyton-Jones" <simonpj at> writes:

> 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.

Pugs does use GADTs fully in some parts[1], but I don't know if deriving would
be useful there.

Programming is the Magic Executable Fridge Poetry, |
It is machines made of thought, fueled by ideas.   | -- Shae Matijs Erisson

More information about the Glasgow-haskell-users mailing list