(Minor nitpick, your definition is `mappend` [1]. `mconcat` is `foldr mappend mempty` [2], i.e. concatenates a list of monoids.)

[1] mappend :: Monoid m => m -> m -> m

[2] mconcat :: Monoid m => [m] -> m