Type Alias EffectRAlgebra<F, A, E1, R1, E2, R2, I2>

An RAlgebra that folds into an effect. A function of the type: (fa: F<[Fix<F, E2, R2, I2>, A], E2, R2, I2>) ⇒ Effect<A, E1, R1>.