Typeclasses

[commander-trashdin]

Do you plan to implement them, or have you given up on the idea? I am very interested in the tpic and decided to dive into Coalton hoping maybe I could help with this at some point. (comparing to implementing some ad-hoc typeclasses atop of some half-baked self made static type checking it makes more sense anyway)

[stylewarning]

I haven't given up on the idea. I think I would like to have them implemented, but a major question is (a) how to modify the inference, (b) how to deal with the transformation of functions to take the implicit "dictionaries".

I would love a design and implementation of type classes.