{ x : Natural, y : Bool }