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