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.