Maximum and Minimum monoids

Edward Kmett ekmett at
Fri Dec 28 18:37:33 CET 2012

semigroups isn't going to drop the containers dependency.

There is no other place for those instances to live and containers is
farther down in the 'onion' of packages since it goes out with GHC, so this
dependency cannot be inverted by the downstream and orphans here are


On Fri, Dec 28, 2012 at 11:32 AM, Gabriel Gonzalez <gabriel439 at>wrote:

> I am definitely in favor of adding "semigroups" to the platform if drops
> the containers dependency.  Optionally, we could then fix the Monoid
> instance for Maybe so that it has a proper semigroup context and we
> wouldn't have to use the Option type.  I would be happy with that solution.
>  However, if we do that then rename the types to "Max" and "Min" instead of
> "Maximum and "Minimum", since "Maybe (Max a)" is long enough as it is.
> ______________________________**_________________
> Libraries mailing list
> Libraries at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list