Just like TreeFolder except it folds into an effect. Same type as `EffectAlgebra<TreeFTypeLambda, B, E, R, A>.
Just like TreeFolder except it folds into an effect. Same type as `EffectAlgebra<TreeFTypeLambda, B, E, R, A>.