import Data.IORef

ioRefTest r = readIORef r >>= \ i ->
              if i<=0 then return ()
              else putStrLn (show i)  >>= \ _ ->
                   writeIORef r (i-1) >>= \ _ ->
                   ioRefTest r

main = newIORef 10 >>= \ r ->
       ioRefTest r