7 Mar
2008
7 Mar
'08
1:37 a.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