restricted

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