Hello Haskell, 1) where can i find articles from Estonia conference? 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? -- Best regards, Bulat mailto:bulatz at HotPOP.com