use the internal effect as one of the stack effects
use the internal effect as one of the stack effects
create a impure value from an union of effects and a continuation
create a impure value from an union of effects and a continuation
create a pure value
create a pure value
create an Eff[R, A] value from an effectful value of type T[V] provided that T is one of the effects of R
create an Eff[R, A] value from an effectful value of type T[V] provided that T is one of the effects of R
create an Eff value for ()
create an Eff value for ()