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