On Tue, Jul 4, 2017 at 3:53 AM, Cale Gibbard <cgibbard@gmail.com> wrote:

I'm *reasonably* happy with the status quo, apart from the fact that I need to be careful a little too often whether (<>) refers to the Semigroup or Monoid operation at the moment. Moving Semigroup into base and getting those two unified would be nice.

This is already happening. In 8.4 or so this issue should finally finish resolving itself. Semigroup has already moved into base, but it is taking some time to become a superclass of Monoid.

-Edward