Nondeterministic State Monad