<div dir="ltr">Personally, I think it would be a shame to lose foldMap on EIther. I frequently foldMap over Maybe values (where mempty is suitable in case of "failure"), and I can certainly see myself doing the same thing with Either.<div><br></div><div>- ocharles<br><br><div class="gmail_quote"><div dir="ltr">On Thu, Mar 2, 2017 at 5:08 PM Francesco Ariis <<a href="mailto:fa-ml@ariis.it">fa-ml@ariis.it</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Thu, Mar 02, 2017 at 05:59:18PM +0100, Andreas Abel wrote:<br class="gmail_msg">
> Ok, Foldable is a formal condition for Traversable, but not actually used in<br class="gmail_msg">
> the implementation of Traversable Either.  This still leaves room to<br class="gmail_msg">
> implement Foldable for Either by<br class="gmail_msg">
><br class="gmail_msg">
>   instance Foldable (Either a) where<br class="gmail_msg">
>     foldMap _ _ = error "Folding Either?  Naah, I don't think this is a good<br class="gmail_msg">
> idea."<br class="gmail_msg">
<br class="gmail_msg">
I don't fancy Foldable for Either either, but runtime failures are<br class="gmail_msg">
ugly too.<br class="gmail_msg">
<br class="gmail_msg">
_______________________________________________<br class="gmail_msg">
Libraries mailing list<br class="gmail_msg">
<a href="mailto:Libraries@haskell.org" class="gmail_msg" target="_blank">Libraries@haskell.org</a><br class="gmail_msg">
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" class="gmail_msg" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br class="gmail_msg">
</blockquote></div></div></div>