3 ms·I agree. Lots of language make it too hard to use custom equivalence or ordering relations.by cmrx64 10y agoI agree. Lots of language make it too hard to use custom equivalence or ordering relations.