6 Mar
2008
6 Mar
'08
8:37 p.m.
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.
hugo