This would make it compatible with preludes that match `<>` to `Semigroup` instead of `Monoid`.
This would make it compatible with preludes that match
<>toSemigroupinstead ofMonoid.