<div dir="auto">Thanks David, Oliver, I'll leave it so Clinton whether that helps his use case.</div><div dir="auto"><br></div><div dir="auto">I see the write-ups for both the Constraint Unions package and ifCxt mentioned on the reddit thread talk about needing large amounts of boilerplate. That is, an instance for each class and type that effectively tells the class has an instance for that type. So that's the same as the AdvancedOverlap I linked to -- from Oleg + SPJ.</div><div dir="auto"><br></div><div dir="auto">IIUC, what Clinton's asking is: since there are already instances for `Show Int`, `Ord Float`, etc (declared in the Prelude), why can't ghc 'just know' that and expose it to type-level logic that can say: if there's `Show a` do this, otherwise do that?</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">AntC</div><div dir="auto"><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">> On <i style="font-family:-webkit-standard;white-space:normal">Tue May 8 22:29:20 UTC 2018</i>, David Feuer wrote:
</pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">> Maybe look at <a href="https://www.reddit.com/r/haskell/comments/6k86je/constraint_unions_bringing_or_to_the_language_of/">https://www.reddit.com/r/haskell/comments/6k86je/constraint_unions_bringing_or_to_the_language_of/</a>
> (relating to the repository Oliver links to) and note also Edward Kmett's response.</pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)"><br></pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">Eurrm. Could somebody explain that response using familiar language. I think the `:-` operator might be referring to Edward's & David's 'constraints' package on github, for which I've asked if there's human-facing documentation.</pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">Also asked if it'll be superseded by the 'Qualified Constraints' new development.</pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)"><br></pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">>> On Tue, May 8, 2018 at 9:52 AM, Oliver Charles <<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">ollie at ocharles.org.uk</a>> wrote:
>><i> I've only skimmed the thread, so sorry if this is a red herring, but could
</i>>><i> this be helpful?</i></pre></div>