Introducing State monad for renderPpr