Proposal: merge Data.Functor.Coproduct into transformers

wren ng thornton wren at
Mon Dec 17 03:39:07 CET 2012

On 12/16/12 9:36 AM, Andreas Abel wrote:
> Standing up against the dictator...
> I like neither 'Product' nor 'Sum'.  For one, they are ambiguous already
> in type theory.

Yeah, this is one of the reasons I prefer Coproduct (or EitherF, or 
Either1). FWIW, I wrote a short blog post about this terminological 
confusion some time back:

Live well,

More information about the Libraries mailing list