Unfortunately they have non-transitive equality when used with standard dictionaries. For example, if O and R are ordered dictionaries with the same entries in different orders, and D is a standard dictionary with the same entries, then O == D == R but O != R.