{ x : { z : A } } ⩓ { x : { y : B } }