> I am hoping some of you may have suggestions about other papers that > would be good tutorials in the use of GADTs. > > Norman > Norman,
This is very much in a state of flux but it may be worth taking a look at http://code.haskell.org/asn1/ASNTYPE.lhs. There's also http://www.haskell.org/haskellwiki/QuickCheck_/_GADT which may be of interest. Dominic. _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell