import Data.IORef count : Nat -> IORef Integer -> IO () count Z ref = do x <- readIORef ref printLn x count (S k) ref = do modifyIORef ref (+1) count k ref main : IO () main = do r <- newIORef 0 count 1000000 r