21 Apr
2014
21 Apr
'14
3:29 p.m.
Edward,
2014-04-21 14:14 GMT+02:00 Edward Kmett
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