Using state monad as I/O monad!!!!!