[Haskell-cafe] Constructor classes implementation

Sean Seefried sean.seefried at gmail.com
Thu Feb 16 21:34:41 EST 2006

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:


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.



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

More information about the Haskell-Cafe mailing list