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