{ a : Kind } ⩓ { b : Kind }