Maximum and Minimum monoids

Gabriel Gonzalez gabriel439 at
Fri Dec 28 19:14:06 CET 2012

On 12/28/2012 12:07 PM, Roman Cheplyaka wrote:
> So, the best solution seems to be to merge semigroups into base.
> My proposal would be to move only Data.Semigroup to base, as it will
> lead to significant simplification, but leave other modules (NonEmpty,
> Natural) in a separate package, since they are of limited applicability
> and would gain nothing by being inside base.

I'm okay with this.  However, his Semigroup class depends on NonEmpty 
and Whole from the other semigroup modules, but I assume those are just 
there for efficiency purposes.

Also, if semigroups is in base, then you can move the semigroups 
instances back to containers.

More information about the Libraries mailing list