Function catamorphism

catamorphism<F extends HKT<unknown, unknown>, Fix>(
    F: Functor.Ix<never, F, Fix>,
): <T>(g: (src: Kind<F, T>) => T) => (src: Kind<F, T>) => T

catamorphism<Ix, F extends HKT<unknown, unknown>, Fix>(
    F: Functor.Ix<Ix, F, Fix>,
    initialIndex: NoInfer<Ix>,
): <T>(
    g: (src: Kind<F, T>, ix: Ix, x: Kind<F, Fix>) => T,
) => (src: Kind<F, T>, ix?: Ix) => T