GENERIC: fail ( value singleton -- mvalue )
GENERIC: >>= ( mvalue -- quot )
M: monad return monad-of return ;
M: monad fail monad-of fail ;
GENERIC: fail ( value singleton -- mvalue )
GENERIC: >>= ( mvalue -- quot )
M: monad return monad-of return ;
M: monad fail monad-of fail ;