< x : Kind | y : Bool >