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

[Martijn van Steenbergen]

Norman Ramsey wrote:
> I am hoping some of you may have suggestions about other papers that
> would be good tutorials in the use of GADTs.

There are more suggestions here:

http://www.haskell.org/haskellwiki/Research_papers/Type_systems#Generalised_Algebraic_Data_Types_.28GADTs.29

And do they have to be papers? Because there is also the wiki page:

http://www.haskell.org/haskellwiki/Generalised_algebraic_datatype

Hope this helps,

Martijn.