[Haskell-cafe] monoid homomorphism