Generic typeclasses?

Stream: new members

[haowei chen]

I known that we can generic over typeclasses by set_option checkBinderAnnotations false which turns off class instance checking, but this method is neither elegant nor intuitive. Why not simply use some stuff like C : Class instead?