Hi Roman,
So are you really talking about an equivalence relation on the
function's domain? The reason I ask is that it is well known that
"f(a)=f(b)" establishes an equivalence relation on f's co-domain!Vasili
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
