Miguel Mitrofanov wrote: > > Yes. It's simply impossible. The Stack data type can't be turned into > a monad. Why not? Surely this is just a variation on the theme of a state monad? Paul.