Look here: <a href="http:&#x2F;&#x2F;www.eliza.ch&#x2F;doc&#x2F;wadler92essence_of_FP.pdf" rel="nofollow">http:&#x2F;&#x2F;www.eliza.ch&#x2F;doc&#x2F;wadler92essence_of_FP.pdf</a> (page 11)<p>The state in the monad in the quoted paper flows backward. The part of assembler that works with label&#x27;s addresses can use that trick from 1992.