[Haskell-cafe] Estonia and GADT

Ralf Hinze ralf at informatik.uni-bonn.de
Sat Oct 15 13:00:53 EDT 2005

Hi Bulat,

>   2) they all say that GADT is great, but i personally don't "feel"
>   GADTs. can anyone write a paper about it for beginners like me,
>   or may be just collect examples of using GADT in real programs?

I wrote a book chapter on GADTs a while ago, called "Fun with
phantom types", see


It's not aimed at beginners though. [Furthermore, the syntax for GADTs
is a bit different.]

Cheers, Ralf

More information about the Haskell-Cafe mailing list