| > 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. S _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users