<div dir="ltr">I've addressed this here:<div><br></div><div><a href="http://bitemyapp.com/posts/2015-10-19-either-is-not-arbitrary.html">http://bitemyapp.com/posts/2015-10-19-either-is-not-arbitrary.html</a><br></div><div><br></div><div>The thousand-papercuts opposition to typeclass instances on the premise that a Functor for (a, b, c) maps over the final type not making sense is a rejection of how higher kinded types and typeclasses work together. This is natural and predictable if one bothers to explain it.</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jan 18, 2016 at 2:42 PM, Henning Thielemann <span dir="ltr"><<a href="mailto:lemming@henning-thielemann.de" target="_blank">lemming@henning-thielemann.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
On Mon, 18 Jan 2016, David Feuer wrote:<br>
<br>
</span><span class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Actually, I currently get a much worse error message:<br>
<br>
Prelude> fmap (+1) (1,2,3)<br>
<br>
<interactive>:2:1:<br>
   Non type-variable argument in the constraint: Functor ((,,) t t)<br>
   (Use FlexibleContexts to permit this)<br>
   When checking that ‘it’ has the inferred type<br>
     it :: forall b t t1.<br>
           (Functor ((,,) t t1), Num b, Num t, Num t1) =><br>
           (t, t1, b)<br>
<br>
That there is a *lousy* error message.<br>
</blockquote>
<br></span>
indeed<span class=""><br>
<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I understand that there are newcomers who struggle to understand the<br>
difference between tuples and lists; I don't think that's a good<br>
enough reason to omit a good and valid instance.<br>
</blockquote>
<br></span>
I would not qualify myself as a newcomer. For me these instances are a problem, not a help.<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><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr">Chris Allen<br><div><span style="font-size:12.8000001907349px">Currently working on </span><a href="http://haskellbook.com" target="_blank">http://haskellbook.com</a></div></div></div></div></div></div>
</div>