[Haskell-cafe] Typeclasses and instances