(defrep i-string (-> (number) char))

(deftype i-string-such-that (-> ((-> (number) char)) i-string))
(deftype i-string-update (-> (i-string number char) i-string))
(deftype i-string-access (-> (i-string number) char))