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

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.