import { Kind } from '../../kinds/index.js';
import { TypeSkell } from '../../typeskell/index.js';
export declare namespace Foldable {
    type $reduce<F extends Kind> = TypeSkell<'(b a -> b) b -> F a ..e -> b', {
        F: F;
    }>;
    type $fold<F extends Kind> = TypeSkell<'(a a -> a) -> F a ..e -> a', {
        F: F;
    }>;
}
export interface Foldable<F extends Kind> {
    reduce: Foldable.$reduce<F>;
}
export interface Foldable1<F extends Kind> extends Foldable<F> {
    fold1: Foldable.$fold<F>;
}