Variable traverseEffectConst

traverseEffect: <F extends TypeLambda>(
    F: Applicative<F>,
) => <A, B, E1 = unknown, R1 = unknown, I = never, E2 = never, R2 = never>(
    f: (a: A) => Effect<Kind<F, I, R1, E1, B>, E2, R2>,
) => (self: Tree<A>) => Effect<Kind<F, I, R1, E1, Tree<B>>, E2, R2> & {
    post: <F extends TypeLambda>(
        F: Applicative<F>,
    ) => <A, B, E1 = unknown, R1 = unknown, I = never, E2 = never, R2 = never>(
        f: (a: A) => Effect<Kind<F, I, R1, E1, B>, E2, R2>,
    ) => (self: Tree<A>) => Effect<Kind<F, I, R1, E1, Tree<B>>, E2, R2>;
} = ...