(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))