Adventure with Types in Haskell - Simon Peyton Jones (Lecture 4) 

It'd also be pretty cool if you could add a constraint in an instance without having to explicitly mention it in the class declaration. That is, implicit constraints are created on the fly within the class.