< x : Kind >