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

A CVAlgebra that folds into an effect. A function of the type: (fa: F<Cofree<F, A, E2, R2, I2>, E2, R2, I2>) ⇒ Effect<A, E1, R1>.