Continued working on Monad/StateT module