Vocabulary
monads

Inputs
mvaluean object
mquotan object
monadan object


Outputs
resultan object


Definition


:: apply ( mvalue mquot monad -- result )
mvalue [| value |
mquot [| quot |
value quot ( value -- mvalue ) call-effect
monad return
] bind
] bind ;