{ x : Kind, y : Kind }