<div dir="auto">The instances won't be orphans if they're in the same module as the class definition.</div><br><div class="gmail_quote"><div dir="ltr">On Fri, Sep 7, 2018, 2:12 PM waldmann <<a href="mailto:johannes.waldmann@htwk-leipzig.de">johannes.waldmann@htwk-leipzig.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 09/07/2018 05:51 PM, David Feuer wrote:<br>
<br>
> class e ~ Elem s => SetC e s where<br>
<br>
OK. At the use site, under both proposals,<br>
there'll be a two argument constraint.<br>
In my version, the second argument was curried away.<br>
<br>
One way or the other - why don't we?<br>
What could be the downsides here?<br>
<br>
I guess since it's meant to sit atop (some) modules<br>
from various packages (containers, unordered-containers, enummapset)<br>
it's best to release it as a separate package,<br>
containing the classes, and orphan instances.<br>
<br>
- J.<br>
</blockquote></div>