Proposal: merge either into transformers

Edward Kmett ekmett at
Mon Dec 10 22:51:24 CET 2012

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

> On 12-12-10 01:57 PM, Edward Kmett wrote:
>> There is Data.Functor.Coproduct in comonad-transformers
>> (**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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list