Proposal #3339: Add (+>) as a synonym for mappend

Yitzchak Gale gale at sefer.org
Sun Aug 14 15:53:50 CEST 2011


Thomas Schilling wrote:
> So, NOTHING would break if you made made SemiGroup a superclass of Monoid?

Right, I didn't propose that. Really, in hindsight, it should be. But
as you say,
it would break things. Sorry if I was not clear.

Rather, each library author should add the superclass.

Unfortunately, this is similar to the situation with Functor and
Monad.

Thanks,
Yitz



More information about the Libraries mailing list