avoid `mappend` in monoid laws, because it doesn't work with haddock