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

Clinton Mead clintonmead at gmail.com
Tue May 8 04:17:40 UTC 2018

> 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>

More information about the Haskell-Cafe mailing list