Nodes for the term “state monad”