> > > > >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
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe