在Scalaz中组合IO和State Monad

I am attempting to write a simple program using the State monad in scalaz that will modify some state based on input passed in by the user. How is the best accomplished. Currently I have: I am attempting to write a simple program using