[Haskell-cafe] type classes