<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>+1 on both points and especially the second one.<br>
</p>
<div class="moz-cite-prefix">On 11/11/19 10:30 pm, chessai . wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAD34_k+jZf3=DZqeB0ynR-W-ZxjLpNPXNkXSStAzk14qXL6RTQ@mail.gmail.com">
<div dir="auto">A beginner learning about parametricity and the
relationship between Functorial composition and Functor identity
brought up a good point to me: the documentation for
Bifunctor[1] and Profunctor[2] both explain the relationship
between parametricity and their laws, particularly what
constitutes a minimum "burden" of proof. I don't have an exact
wording yet, but I think it would be a good idea to update the
Functor documentation accordingly.
<div dir="auto"><br>
</div>
<div dir="auto">A separate point of issue: The line "The
instances of Functor for lists, Maybe and IO satisfy these
laws." This statement is redundant at best when you consider
that Haskellers aim for instances of Functor to be lawful. At
worst it could leave beginners confused and with more
questions. I could imagine someone interpreting this statement
as saying there might exist some unlawful instances. I think
this line should just be removed.</div>
<div dir="auto"><br>
</div>
<div dir="auto">Let me know what you think.</div>
<div dir="auto"><br>
</div>
<div dir="auto">Thanks</div>
<div dir="auto"><br>
</div>
<div dir="auto"><br>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Libraries mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Libraries@haskell.org">Libraries@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a>
</pre>
</blockquote>
</body>
</html>