(char,RealWorld) getChar(RealWorld rw);
(unit,RealWorld) putChar(RealWorld rw, char ch);


let (ch1,rw1) = getChar(rw0);
let (ch2,rw2) = getChar(rw1);

putChar(rw2, 'D');