{ x : Kind, y : Bool }