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