lift-m2 ( m1 m2 f monad -- m3 )

Vocabulary

monads

Inputs

m1	an object
m2	an object
f	an object
monad	an object

Outputs

m3

an object

Definition

IN: monads

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