[Haskell-cafe] derivable type classes