{ x = { a = Type } } ∧ { x = { b = Type } }