Not? How about

Erm, actually I was trying to be diplomatic... What with MS supporting GHC's development. I completely agree with the statement about the CLR straight jacket. Secondly... I agree with you about multi-parameter type classes and fundeps enabling you to do this - but thats not Haskell 98 and you also sun into the closed verses open representation problem. If you look at the paper Ralf, Oleg and I have been wotking on: http://homepages.cwi.nl/~ralf/HList/ You will see that an alternative approach is possible... Here we can use the type of an HList to model an objects interface, and using this technique we have all the examples from an O'Caml tutorial implemented in Haskell (This is not actually in the paper due to running out of space - but will probably be the subject of a separate paper). Keean.