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

[Dominic Steinitz]

> 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.