{ x = Type } ⫽ { x = Type }