{ x : { a : Bool } } ⩓ { y : { b : Bool } }