View
c.f. https://prime.haskell.org/wiki/Libraries/Proposals/SemigroupMonoid
This sounds like something the libraries committee should decide on.