Refactoring Semigroup/Monoid (was: instance Applicative Data.Map)

[Dan Burton]

>
> Adding new superclasses breaks a lot of code for little gain for most
> people. We need a technical solution to this problem first, before we can
> refactor our type hierarchy.


A technical solution, eh?

http://hackage.haskell.org/trac/ghc/wiki/DefaultSuperclassInstances

What is the status on this? How hard would this be to implement as a GHC
extension? Are there any reasons this should not be baked into, say,
Haskell 2014?

-- Dan Burton
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20121117/e8fc7881/attachment.htm>