import type { Param } from "./fix.js";
import type { Kind, URIS } from "./kind.js";
export declare type Infer<F extends URIS, C, P extends Param | "A" | "C", K> = [K] extends [
    Kind<F, C, infer K, infer Q, infer W, infer X, infer I, infer S, infer R, infer E, infer A>
] ? P extends "C" ? C : P extends "K" ? K : P extends "Q" ? Q : P extends "W" ? W : P extends "X" ? X : P extends "I" ? I : P extends "S" ? S : P extends "R" ? R : P extends "E" ? E : P extends "A" ? A : never : never;
//# sourceMappingURL=infer.d.ts.map