<div dir="ltr">Hello,<div><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Apr 20, 2014 at 10:20 AM, Dominique Devriese <span dir="ltr"><<a href="mailto:dominique.devriese@cs.kuleuven.be" target="_blank">dominique.devriese@cs.kuleuven.be</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">First, here is a link to a post by Andreas in a previous discussion on<br>
this list about the same topic<br>
 <a href="http://www.haskell.org/pipermail/libraries/2013-August/020549.html" target="_blank">http://www.haskell.org/pipermail/libraries/2013-August/020549.html</a><br>
<br></blockquote><div><br></div><div>I think this makes a very good point.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
* rename bimap to mapEither (or perhaps mapBoth)<br>
</blockquote><div>(+1)</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">* implement the functions as renames when possible: "mapEither =<br>
Control.Arrow.(+++)" and similarly.<br></blockquote><div><br></div><div>(+0) {- To me it seems more natural to have the overloaded versions be in terms of the concrete ones,</div><div>rather then the other way around (i.e., the arrow instance should use `mapEither`). -}</div>
<div> <br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
* also add "mapRight :: (a -> b) -> Either c a -> Either c b"<br>
<br></blockquote><div>(+1)</div><div> </div><div>-Iavor</div><div><br></div><div><br></div></div></div></div>