state.hs

import Control.Monad.State
import Control.Monad.Trans

f :: State Int Int
f = do 
    x <- get
    let x' = x+1
    put x'
    return 0

g :: State Int Int
g = do
        modify (+1)
        return 0

op :: Int -> IO ()
op i = print i

wrap :: (Int -> IO ()) -> StateT Int IO ()
wrap f = do 
            i <- get
            liftIO $ f i

loop = do 
        modify (+1)
        return ()

run n = do 
            runStateT (replicateM_ n ((wrap op) >> loop)) 0

main = run 5