>If the equality does not hold, you should get a type error because
>your program is not type correct.  So, what is it that you would like
>different?

I would simply like the compiler not to use that instance if the equality constraint does not hold, like some another instance dependency constraint, but I assume that is not possible.