Type Alias Reduce<F>

type Reduce<F> = {
    reduceL: <A, B>(
        reducer: (b: B) => (a: A) => B,
    ) => (b: B) => (fa: Get1<F, A>) => B;
    reduceR: <A, B>(
        reducer: (a: A) => (b: B) => B,
    ) => (fa: Get1<F, A>) => (b: B) => B;
}