Add a rudimentary state monad