{ x : Kind, y : Type }