Vocabulary
monads

Inputs
m1an object
m2an object
fan object
monadan object


Outputs
m3an object


Definition

:: lift-m2 ( m1 m2 f monad -- m3 )
m1 [| x1 | m2 [| x2 | x1 x2 f monad return ] bind ] bind ;