Add state monad experiments.