<HTML><BODY><p>Hi Haskellers,</p><p>I have written a draft of an introductory-level tutorial paper about GADTs in Haskell (for submittion to proceedings of the recent LASER summer school) and I would like to seek initial feedback about its content: what information is probably missing? are there any subtle mistakes?</p><p>The main idea of this article was to serve as a starting point for learning GADTs (I was missing this kind of information myself some time ago), so I have collected several examples demonstrating common use cases.</p><p><br>--<br>Best Regards,<br>Anton Dergunov<br><br></p></BODY></HTML>