Parameter Monad_plus.State