Maximum and Minimum monoids

Edward Kmett ekmett at
Fri Dec 28 19:38:24 CET 2012

If it moved semigroups into base, and fix that god-awful Maybe Monoid
instance, I'd be willing to shed the times1p function or convert it to

To merely move it into the platform, I'd be more hesitant.

On Fri, Dec 28, 2012 at 1:14 PM, Gabriel Gonzalez <gabriel439 at>wrote:

> 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.
> ______________________________**_________________
> Libraries mailing list
> Libraries at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list