Use Monoid instance for Monoid b => a → b