crap.hs

import Control.Monad.State

foo :: StateT Int IO ()
foo = do
    get >>= \s -> liftIO . putStrLn $ "state = " ++ show s
    iterateState
    liftIO . putStr $ "Please enter q to quit> "
    c <- liftIO getLine
    unless (c == "q") foo
  where
    iterateState = do
        modify (+1)

main :: IO ()
main = do
    let initialState = 3
    evalStateT foo initialState