{ a : Kind, b : Kind }