GADT question

Simon Peyton-Jones simonpj at
Tue Oct 11 08:30:28 EDT 2005

|  > I plan to tackle it in the next couple of months.
| Would this also address how plain old Algebraic Data Types and type
| classes work together? The issues seems related.

Well that's specified by Haskell 98, so I don't want to change it.
Instead, I propose to behave sensibly (i.e. uniformly) when a data type
is declared using GADT-style syntax, but leave H98 unchanged.


More information about the Glasgow-haskell-users mailing list