import type { Kind, URIS } from './HKT';
/**
 *  @since 0.0.1
 */
export declare type OfType<F extends URIS, L, A, RC> = Kind<F, RC, L, A>;
declare type Function1 = (a: any) => any;
/**
 *  @since 0.0.1
 */
export declare type CacheType = <F extends Function1>(f: F) => F;
/**
 *  @since 0.0.1
 */
export declare function cacheUnaryFunction<F extends Function1>(f: F): F;
/**
 *  @since 0.0.1
 */
export declare type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
/**
 *  @since 0.0.1
 */
export declare type Compact<A> = {
    [K in keyof A]: A[K];
};
export {};