suspended

fun <Eff : Effect<*>, F, A> suspended(pureArb: Arb<F>, G: Arb<F>, eq: (F, F) -> Boolean, fxSuspend: SuspendFxBlock<Eff, F, A>, invoke: suspend Eff.(F) -> A): List<Law>