[Haskell] Re: seeking papers with good examples of the use of GADTs

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.