<div dir="ltr">Strongly +1 from me. I very highly value instances of standard type classes for standard type constructions, particularly products, sums, and functions, not just for some library wrappers around them. And consistency usually ends up the best practical choice, whether or not many uses are clear beforehand.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Jan 19, 2016 at 6:38 AM, Edward Kmett <span dir="ltr"><<a href="mailto:ekmett@gmail.com" target="_blank">ekmett@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">+1 from me. <div><br></div><div>We routinely supply instances for tuples of up to 4 or 5 elements elsewhere. </div><div><br></div><div>There is no need to be randomly inconsistent here.</div><span class="HOEnZb"><font color="#888888"><div><br></div><div>-Edward</div></font></span></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jan 18, 2016 at 3:10 PM, David Feuer <span dir="ltr"><<a href="mailto:david.feuer@gmail.com" target="_blank">david.feuer@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">For some reason I really can't imagine, it seems the only tuple type<br>
with a Functor instance is (,) a. I was astonished to find that<br>
<br>
fmap (+1) (1,2,3)<br>
<br>
doesn't work. Since this is *useful*, and there is *only one way to do<br>
it*, I propose we add the following:<br>
<br>
instance Functor ((,,) a b) where<br>
  fmap f (a,b,c) = (a,b,f c)<br>
instance Functor ((,,,) a b c) where<br>
  fmap f (a,b,c,d) = (a,b,c,f d)<br>
etc.<br>
<br>
I would really love to see these make 8.0.0, but if that's impossible<br>
then so be it.<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div><br></div>
</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" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>