/**
 * Type defunctionalization
 */
/**
 * `* -> *` constructors
 */
export interface HKT<URI, A> {
    readonly _URI: URI;
    readonly _A: A;
}
export declare const Kind: unique symbol;
export declare type Kind = typeof Kind;
export interface Kinded<T extends any[]> {
}
export declare type URIS = keyof Kinded<any[]>;
export declare type KindOf<T extends URIS, P extends any[]> = Kinded<P>[T];