GADTs and pedagogy was Re: GADTs and fundeps

[Shae Matijs Erisson]

"Simon Peyton-Jones" <simonpj at microsoft.com> 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.

[1] http://svn.openfoundry.org/pugs/src/IMC/AST.hs
-- 
Programming is the Magic Executable Fridge Poetry, | www.ScannedInAvian.com
It is machines made of thought, fueled by ideas.   | -- Shae Matijs Erisson