Structural equality, which _does_ consider metadata and thus needs to be elided before using for proper semantics.
Structural equality, which _does_ consider metadata and thus needs to be elided before using for proper semantics.
Structural ordering, which _does_ consider metadata and thus needs to be elided before using for proper semantics.
Structural ordering, which _does_ consider metadata and thus needs to be elided before using for proper semantics.