<div dir="ltr">As with all of these discussions, the point of having Either be Foldable is not that you're going to call foldMap on an Either value directly. Instead, it is that you be able to pass whatever sort of foldable thing you choose (which Either certainly is) to a function that only requires foldability of its input. By removing or damaging the Foldable instance for Either, you don't simply prevent people from encountering problems that will be resolved the first time they test their software - you make a whole universe of nicely polymorphic functions unavailable for them to use without additional effort.<div><br></div><div>In particular, the idea that one should make all such functions partial by throwing an error is repugnant.</div><div><br></div><div>Kris</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Mar 2, 2017 at 10:35 AM, Francesco Ariis <span dir="ltr"><<a href="mailto:fa-ml@ariis.it" target="_blank">fa-ml@ariis.it</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Thu, Mar 02, 2017 at 05:19:26PM +0000, Oliver Charles wrote:<br>
> Personally, I think it would be a shame to lose foldMap on EIther. I<br>
> frequently foldMap over Maybe values (where mempty is suitable in case of<br>
> "failure"), and I can certainly see myself doing the same thing with Either.<br>
<br>
</span>I am not trying to be polemic, just to see where the community<br>
stands: regarding Either/Maybe: do you have use cases for length<br>
(sum) too?<br>
<div class="HOEnZb"><div class="h5"><br>
______________________________<wbr>_________________<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-<wbr>bin/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div>