[Haskell-cafe] Nice pedagogical examples of type classes?