Vocabulary
monads

Inputs
valuean object


Outputs
mvaluean object


Definition

: return-st ( value -- mvalue ) state-monad return ;