<div dir="ltr">I can't +1 this enough to express how much I desire that change!</div><div class="gmail_extra"><br><div class="gmail_quote">2015-03-13 12:32 GMT+03:00 Fumiaki Kinoshita <span dir="ltr"><<a href="mailto:fumiexcel@gmail.com" target="_blank">fumiexcel@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">A dozen of functions like concat, foldr, mapM, have been generalized through BBP.<div><br></div><div>Then, why do we leave `map` just for lists? Obviously `map` can be generalized, so</div><div><br></div><div>map :: Functor f => (a -> b) -> f a -> f b</div><div>map = fmap</div><div><br></div><div>The current definition of `map` looks too special to be a special case of mapM (map f = runIdentity . mapM (Identity . f)).</div></div>
<br>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>