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 unacceptable.
-Edward
On Fri, Dec 28, 2012 at 11:32 AM, Gabriel Gonzalez
<gabriel439@gmail.com> 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.