On Mon, Dec 10, 2012 at 5:07 PM, Mario Blažević <mblazevic@stilo.com> wrote:

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@stilo.com
<mailto: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
<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?

--
Mario Blazevic
mblazevic@stilo.com
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.