Vocabulary
monads

Inputs
mvaluean object
quotan object


Outputs
mvalue'an object


Definition


: bind* ( mvalue quot -- mvalue' )
[ [ drop ] ] dip compose bind ;