That's possible in any language that doesn't force you to include a computer-checkable proof that your overridden equality operator forms an equivalence relatio

That's possible in any language that doesn't force you to include a computer-checkable proof that your overridden equality operator forms an equivalence relationship.