[Haskell-cafe] specifying using type class