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ć <mblazevic@stilo.com> wrote:
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.html)
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?