Interface RightFoldable<F>

interface RightFoldable<F extends TypeLambda> {
    "[URI]"?: F;
    reduce: {
        <A, B>(
            b: B,
            f: (b: B, a: A) => B,
        ): <R, O, E>(self: Kind<F, R, O, E, A>) => B;
        <R, O, E, A, B>(self: Kind<F, R, O, E, A>, b: B, f: (b: B, a: A) => B): B;
    };
    reduceRight: ReduceRight<F>;
}