rfc: include bimap into Data.Either

[Dominique Devriese]

Edward,

2014-04-21 14:14 GMT+02:00 Edward Kmett <ekmett at gmail.com>:
> If your objection is that you find the choice of Bifunctor a more natural
> axis upon which to generalize than Arrow, I happen to agree.

Yes, that's precisely what I mean.

> If the proposal was to bring in the core of bifunctors into base (e.g.
> Data.Bifunctor, Data.Bifoldable, Data.Bitraversable), I'd be an enthusiastic
> +1.

I wasn't aware of this package in fact but from a quick look, I agree
with you... I would almost vote +1 if not for the (justified)
separate-proposals-in-separate-thread comments ;).

> I am, however, strongly against adding a mapRight in a world with fmap, I
> mean before you know it we'd be using a special map for lists! ;)

Ack, good point.

Regards,
Dominique