Vocabulary
monads

Inputs
statean object
initialan object


Outputs
valuean object


Definition


: run-st ( state initial -- value ) swap mcall second ;