[Haskell-cafe] How to expose if a constraint is satisfiable

[Clinton Mead]

>
> Int can be verified as more specific than "matches any type". Two instance
> heads differing *only* in context cannot.
>
>
I realise this, but the instances heads I proposed also don't only differ
in context.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180508/64d35ecd/attachment.html>