The problem with Data.Functor.Sum is that Data.Monoid exports Sum. While I
don't think we should try to globally avoid all conflicts, I don't think we
should go out of our way to pick up a conflict we don't have to have.
On Mon, Dec 10, 2012 at 4:38 PM, Mario Blažević
On 12-12-10 01:57 PM, Edward Kmett wrote:
There is Data.Functor.Coproduct in comonad-transformers (http://hackage.haskell.org/**packages/archive/comonad-** transformers/3.0/doc/html/**Data-Functor-Coproduct.htmlhttp://hackage.haskell.org/packages/archive/comonad-transformers/3.0/doc/htm... ) which could be moved.
I never really liked having it in the comonad-transformers package anyways.
There is also Cgm.Data.Functor.Sum in cognimeta-utils, though it doesn't come with a Functor instance for some reason. I think I prefer Data.Functor.Sum to Data.Functor.Coproduct. There may be more occurrences in Hackage, hiding under less obious names.
I presume this addition to Transformers would require a new proposal?