Vocabulary
monads

Inputs
mvaluean object
kan object


Outputs
mvalue'an object


Definition


: >> ( mvalue k -- mvalue' )
[ [ drop ] ] dip [ ] curry compose bind ;