[Haskell-cafe] Constructor classes implementation

[Sean Seefried]

Hey all,

If you're interested in an implementation of constructor classes  
(type classes which can take constructors as arguments; already  
implemented in Haskell) please see:

http://www.cse.unsw.edu.au/~sseefried/code.html

This should help understanding the paper by Mark P. Jones called "A  
system of constructor classes: overloading and implicit higher-order  
polymorphism" much easier.

The implementation not only infers the type but also prints out a  
trace of the derivation tree for the syntax directed rules.

Cheers,

Sean

p.s. If you find any bugs, please let me know.