< x : Kind | y : Type >