
<html><head></head><body>I haven't found a downside to requiring that the elements of sets be `Ord` to be `MonoFoldable`. Yes, the dictionary is ignored by all the generic methods, but you still needed it to construct the `Set`. <br>`MonoFoldable` includes some questionable design choices, but the `Ord` requirement for `Set` is not one.<div style='white-space: pre-wrap'><br>Sent from my phone with K-9 Mail.</div><br><br><div class="gmail_quote">On 30 January 2022 05:19:46 UTC, David Feuer <david.feuer@gmail.com> wrote:<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<div dir="auto"><div>MonoFoldable isn't the answer either. That also has the problem of requiring the same constraint for folding as for membership tests.<br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Jan 30, 2022, 12:12 AM PHO <<a href="mailto:pho@cielonegro.org" target="_blank" rel="noreferrer">pho@cielonegro.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 1/30/22 9:59 AM, David Feuer wrote:<br>

[snip]<br>

> . I think the real answer is to remove `elem` from `Foldable` and put<br>

> it somewhere more appropriate.<br>

<br>

In a separate class? That would only help `elem` but not any other <br>

methods of Foldable. I'd rather love to see MonoFoldable[1] to be moved <br>

to base then.<br>

<br>

[1]: <br>

<a href="https://hackage.haskell.org/package/mono-traversable-1.0.15.3/docs/Data-MonoTraversable.html#t:MonoFoldable" rel="noreferrer noreferrer noreferrer" target="_blank">https://hackage.haskell.org/package/mono-traversable-1.0.15.3/docs/Data-MonoTraversable.html#t:MonoFoldable</a><br>

_______________________________________________<br>

Libraries mailing list<br>

<a href="mailto:Libraries@haskell.org" rel="noreferrer noreferrer" target="_blank">Libraries@haskell.org</a><br>

<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>

</blockquote></div></div></div>

</blockquote></div></body></html>