@amiloradovsky@functional.cafe If overloading is not problematic, I wouldn't give it up either. I guest what I'm saying is that in a world where all these relations must coexist, it might be a good idea to keep track of the difference in some (clever perhaps) way, my justification being the difference between the equality and equivalence. Equality is stronger in some sense, and that might be useful. More concretely *shamelessly looks up outdated c++ reference*: equality(=) is an equivalence relation that additionally satisfies substitutability, that is for any elements A and B, A = B <=> F(A) ≈ F(B) for any function F and any equivalence relation ≈. Not sure if this is relevant in your case though.