Monad/StateT module passed