[Haskell-cafe] Estonia and GADT

[Bulat Ziganshin]

Hello Ralf,

Saturday, October 15, 2005, 9:00:53 PM, you wrote:

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

RH>         http://www.informatik.uni-bonn.de/~ralf/publications.html#B4

thank you! i seen several articles about phantom types, including
yours, but just don't known that it is the same thing :)



-- 
Best regards,
 Bulat                            mailto:bulatz at HotPOP.com