Vocabulary
monads

Inputs
mvaluean object
quotan object


Outputs
mvalue'an object


Definition


: bind ( mvalue quot -- mvalue' )
swap >>= ( quot -- mvalue ) call-effect ;