Partial equality function should have default
treeowl opened this issue · comments
Would it be possible to move that into a subclass? It feels awkward and limiting to me.
For example, infinite streams of elements of a set don't admit such a method, but do admit a natural equivalence relation, namely a "zipped" stream of equivalence proofs.
I just realized why this is good to have. However, it should probably have a (trivial, negative) default implementation.