{ x : Bool, y : Type }