mcall ( x state -- y )

Vocabulary

monads

Inputs

x	an object
state	an object

Outputs

y

an object

Definition

USING: accessors combinators ;

IN: monads

: mcall ( x state -- y ) quot>> ( x -- y ) call-effect ;