Vocabulary
monads

Inputs
readeran object
envan object


Outputs
valuean object


Definition


: run-reader ( reader env -- value )
swap quot>> ( env -- value ) call-effect ;