Proposal: merge Data.Functor.Coproduct into transformers

wren ng thornton wren at freegeek.org
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:

     http://winterkoninkje.dreamwidth.org/72346.html

-- 
Live well,
~wren



More information about the Libraries mailing list