import type { OrFix } from "./fix.js";
import type { ConcreteURIS, URItoIndex, URItoKind } from "./hkt.js";
export declare type URIS = [URI<ConcreteURIS, any>, ...URI<ConcreteURIS, any>[]];
export interface URI<F extends ConcreteURIS, C = {}> {
    _F: F;
    _C: C;
}
export declare type Kind<F extends URIS, C, K, Q, W, X, I, S, R, E, A> = KindRec<F, C, K, Q, W, X, I, S, R, E, A>;
declare type KindRec<F, C, K, Q, W, X, I, S, R, E, A> = F extends [any, ...infer Next] ? URItoKind<F[0]["_C"], C, OrFix<"K", F[0]["_C"], OrFix<"K", C, K>>, OrFix<"Q", F[0]["_C"], OrFix<"Q", C, Q>>, OrFix<"W", F[0]["_C"], OrFix<"W", C, W>>, OrFix<"X", F[0]["_C"], OrFix<"X", C, X>>, OrFix<"I", F[0]["_C"], OrFix<"I", C, I>>, OrFix<"S", F[0]["_C"], OrFix<"S", C, S>>, OrFix<"R", F[0]["_C"], OrFix<"R", C, R>>, OrFix<"E", F[0]["_C"], OrFix<"E", C, E>>, KindRec<Next, C, K, Q, W, X, I, S, R, E, A>>[F[0]["_F"]] : A;
export declare type IndexForBase<F extends ConcreteURIS, K> = F extends keyof URItoIndex<any> ? URItoIndex<K>[F] : K;
export declare type IndexFor<F extends URIS, K> = IndexForBase<F[number] extends URI<infer U, any> ? U : never, K>;
export declare type Rest<F extends [any, ...any[]]> = F extends [any, ...infer Rest] ? Rest : [];
export {};
//# sourceMappingURL=kind.d.ts.map