{ x = { a = Bool } } ∧ { x = { b = Natural } }