type (++) = (<>)

[Edward Kmett]

On Tue, Jul 4, 2017 at 3:53 AM, Cale Gibbard <cgibbard at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-prime/attachments/20170704/67a08355/attachment.html>