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