import * as HKT from './HKT';
export interface Fail<F extends HKT.URIS, TC = HKT.Auto> extends HKT.Base<F, TC> {
    readonly fail: FailFn<F, TC>;
}
export declare type FailMin<F extends HKT.URIS, C = HKT.Auto> = {
    readonly fail: FailFn<F, C>;
};
export declare function Fail<F extends HKT.URIS, C = HKT.Auto>(F: FailMin<F, C>): Fail<F, C>;
export interface FailFn<F extends HKT.URIS, C = HKT.Auto> {
    <E, N extends string = HKT.Initial<C, 'N'>, K = HKT.Initial<C, 'K'>, Q = HKT.Initial<C, 'Q'>, W = HKT.Initial<C, 'W'>, X = HKT.Initial<C, 'X'>, I = HKT.Initial<C, 'I'>, S = HKT.Initial<C, 'S'>, R = HKT.Initial<C, 'R'>, A = never>(e: HKT.OrFix<'E', C, E>): HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, A>;
}
export interface FailFnComposition<F extends HKT.URIS, G extends HKT.URIS, CF = HKT.Auto, CG = HKT.Auto> {
    <EG, NF extends string = HKT.Initial<CF, 'N'>, KF = HKT.Initial<CF, 'K'>, QF = HKT.Initial<CF, 'Q'>, WF = HKT.Initial<CF, 'W'>, XF = HKT.Initial<CF, 'X'>, IF = HKT.Initial<CF, 'I'>, SF = HKT.Initial<CF, 'S'>, RF = HKT.Initial<CF, 'R'>, EF = HKT.Initial<CF, 'E'>, NG extends string = HKT.Initial<CG, 'N'>, KG = HKT.Initial<CG, 'K'>, QG = HKT.Initial<CG, 'Q'>, WG = HKT.Initial<CG, 'W'>, XG = HKT.Initial<CG, 'X'>, IG = HKT.Initial<CG, 'I'>, SG = HKT.Initial<CG, 'S'>, RG = HKT.Initial<CG, 'R'>, A = never>(e: EG): HKT.Kind<F, CF, NF, KF, QF, WF, XF, IF, SF, RF, EF, HKT.Kind<G, CG, NG, KG, QG, WG, XG, IG, SG, RG, EG, A>>;
}
//# sourceMappingURL=Fail.d.ts.map