eager

fun <Eff : Effect<*>, F, A> eager(pureArb: Arb<F>, G: Arb<F>, eq: (F, F) -> Boolean, fxEager: EagerFxBlock<Eff, F, A>, invoke: suspend Eff.(F) -> A): List<Law>