{ x : { z : Bool } } ⩓ { x : { y : Natural } }