<div dir="ltr">Oops, same correction, Writer rather than Reader. A reflection of how little I think of them in terms of those semantics, I suppose.</div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Mar 30, 2017 at 2:56 PM, Nathan Bouscal <span dir="ltr"><<a href="mailto:nbouscal@gmail.com" target="_blank">nbouscal@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"><div class="gmail_extra"><div class="gmail_quote"><span class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Well, is there anything to be done for it at this point? Is there even<br>
any consensus that this was, in retrospect, a poor choice?<br></blockquote><div> </div></span><div>No, there isn't a consensus in either direction. As I understand it, the basic argument for pairs being functors is that there is a single possible way of making them functors, and that that instance <i>is</i> useful sometimes, so someone is going to define it anyway. One of the more convincing (to me) ways it (and other similar instances) is useful is as a building block for other types; Free and Cofree were mentioned last time this was discussed. The argument isn't so much about any specific instance being valuable, but rather about the health of the ecosystem of algebraic structures. Having arbitrary gaps in instance coverage because some people don't like those specific instances really doesn't seem reasonable.</div><div><br>I also don't agree with your description of it as an "anonymous Reader". The Functor instance is the only possible Functor instance for the type; "Reader" is an additional semantic description of one way of thinking about that instance.</div></div></div></div>
</blockquote></div><br></div>