restricted

inline fun <Eff : Effect<*>, F, A> restricted(    crossinline eff: (DelimitedScope<F>) -> Eff,     crossinline just: (A) -> F,     crossinline f: suspend Eff.() -> A): F