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

Same as Algebra but folds in an effect. A function of the type: (fa: F<A, E2, R2, I2>) ⇒ Effect<A, E1, R1>.