Maximum and Minimum monoids

Gershom Bazerman gershomb at
Fri Dec 28 03:26:20 CET 2012

I agree that it's more correct to leave them as semigroups. The real 
path should be to move the semigroup package into the platform for the 
next release. (And, eventually, subsequent to that, to remove First and 
Last from Data.Monoid entirely).


On 12/27/12 7:13 PM, Herbert Valerio Riedel wrote:
> Sjoerd Visscher <sjoerd at> writes:
>> Can't you use Option (Max a) from the semigroups package?
> This was my first thought as well; IMHO, the elementary Minimum/Maximum
> operation forms a semigroup rather than a monoid.
> cheers,
>    hvr
> _______________________________________________
> Libraries mailing list
> Libraries at

More information about the Libraries mailing list