Transform State computation to IO

popper.hs

import Control.Monad.State
import Data.IORef


pop :: State [a] a
pop = do
  x:xs <- get
  put xs
  return x


popper :: [a] -> IO (IO a)
popper ys = popper' ys pop


popper' :: s -> State s a -> IO (IO a)
popper' initial action = do
  stack <- newIORef initial
  return $ do
    current <- readIORef stack
    let (x, xs) = runState action current
    writeIORef stack xs
    return x


main :: IO ()
main = do
  p <- popper [(1 :: Int)..5]
  p >>= print
  p >>= print
  p >>= print
  p >>= print
  p >>= print
  p >>= print