<div dir="auto">So what should maximum (2, "potato") be?</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Nov 23, 2020, 14:19 Sven Panne <<a href="mailto:svenpanne@gmail.com">svenpanne@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div dir="ltr">Am Mo., 23. Nov. 2020 um 16:32 Uhr schrieb Sebastiaan Joosten <<a href="mailto:sjcjoosten%2Bhaskell@gmail.com" target="_blank" rel="noreferrer">sjcjoosten+haskell@gmail.com</a>>:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr">[...] We obtain: length (a,b) = length [b] = 1<br></div></div></blockquote><div><br></div><div>Quoting my former self (<a href="https://mail.haskell.org/pipermail/libraries/2017-April/027905.html" target="_blank" rel="noreferrer">https://mail.haskell.org/pipermail/libraries/2017-April/027905.html</a>), you get even more "fun" stuff with lots of potential for late-night debugging hours:</div><div><pre style="white-space:pre-wrap;color:rgb(0,0,0)">   maximum (3,2)   =>   2
   minimum (4,5)   => 5
   sum (6,7)   =>   7
   product (8,9)   =>   9</pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><font face="arial, sans-serif">Yes, you can think of (X, Y) as "Y with context X" or "a one-element container with Y in it", but is this really what comes to your mind first? I still highly doubt that. The Foldable-Traversable-in-Prelude change was largely a good thing, but very surprising (and not really needed) changes coming stealthily with it were only communicated when it was already too late... :-/</font></pre></div></div></div>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>