Proposal: merge either into transformers

Mario Blažević mblazevic at
Mon Dec 10 23:07:02 CET 2012

On 12-12-10 04:51 PM, Edward Kmett wrote:
> 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.

	Both Data.Monoid and Data.Functor.Product export a type named Product. 
I guess you could argue that there was no choice in case of Product, 
while Sum can be called a Coproduct.

	That being said, I don't care what the name is as long as it's 
available from the transforms package. Do you want to push the proposal?

> On Mon, Dec 10, 2012 at 4:38 PM, Mario Blažević <mblazevic at
> <mailto:mblazevic at>> wrote:
>     On 12-12-10 01:57 PM, Edward Kmett wrote:
>         There is Data.Functor.Coproduct in comonad-transformers
>         (
>         <>)
>         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?

Mario Blazevic
mblazevic at
Stilo International

This message, including any attachments, is for the sole use of the
intended recipient(s) and may contain confidential and privileged
information. Any unauthorized review, use, disclosure, copying, or
distribution is strictly prohibited. If you are not the intended
recipient(s) please contact the sender by reply email and destroy
all copies of the original message and any attachments.

More information about the Libraries mailing list