I love the idea because it makes typeclasses possible, but not super-easy which means devs will be discouraged from making Haskell's typeclass soup.