<div dir="ltr">Dear Anthony C & Richard E!<div><br></div><div>From my side (as GHC-user) it definitely looks like the much more natural way than OverlappedInstances (say, +1). </div><div>Unfortunately I am not an expert and can only ask with you for feedback from experts.</div><div><br></div><div>Dmitry<br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">2017-11-08 12:29 GMT+03:00 Anthony Clayden <span dir="ltr"><<a href="mailto:anthony_clayden@clear.net.nz" target="_blank">anthony_clayden@clear.net.nz</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Surprisinlgy little comment on this proposal.<br>
Perhaps it landed when yous were busy elsewhere.<br>
I'd like to push it to the committee soon;<br>
this is an invitation for more feedback.<br>
<br>
Richard E wrote a nice brief summary<br>
<a href="https://github.com/ghc-proposals/ghc-proposals/pull/56#issuecomment-311421457" rel="noreferrer" target="_blank">https://github.com/ghc-<wbr>proposals/ghc-proposals/pull/<wbr>56#issuecomment-311421457</a><br>
<br>
Thank you<br>
AntC<br>
<br>
<br>
----- Original Message Follows -----<br>
> After years of pondering this idea (in various forms),<br>
> and several rounds of discussion on several forums,<br>
> I've written it up.<br>
><br>
> "This proposal tackles the thorny topic of Overlapping<br>
> instances,<br>
>  for both type classes and Type Families/Associated types,<br>
>  by annotating instance heads with type-level apartness<br>
> Guards.<br>
>  Type-level disequality predicates appear in Sulzmann &<br>
> Stuckey 2002;<br>
>  in the type-level ‘case selection’ in HList 2004;<br>
>  and in various guises in Haskell cafe discussions in<br>
> following years.<br>
>  This proposal builds on the apartness testing implemented<br>
>  as part of the Closed Type Families work."<br>
><br>
> All feedback welcome.<br>
><br>
><br>
<a href="https://github.com/AntC2/ghc-proposals/blob/instance-apartness-guards/proposals/0000-instance-apartness-guards.rst" rel="noreferrer" target="_blank">https://github.com/AntC2/ghc-<wbr>proposals/blob/instance-<wbr>apartness-guards/proposals/<wbr>0000-instance-apartness-<wbr>guards.rst</a><br>
><br>
> AntC<br>
______________________________<wbr>_________________<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" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div><br></div>