{ x : Kind }