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

Dan Burton at
Sat Nov 17 16:06:13 CET 2012

> 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?

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: <>

More information about the Libraries mailing list