An example of a monadic programming in Scheme that juxtaposes Haskell code for a particular state monad with the corresponding Scheme code. Introduction This article sprang from a question posted on comp.lang.functional about building of trees whose nodes are tagged with unique integers. "Ideally every term/node has to have its id associated with it at construction time," the poster said. "An obvi