>> ( mvalue k -- mvalue' )


Vocabulary
monads

Inputs
mvaluean object
kan object


Outputs
mvalue'an object


Definition


: >> ( mvalue k -- mvalue' ) '[ drop _ ] bind ;