Some gyan about type classes