import { $, HKT } from '.';
export interface Functor<F extends HKT> {
    map<A, B>(f: (a: A) => B, fa: $<F, A>): $<F, B>;
}
export declare type FunctorInstances = keyof typeof Functor;
export declare namespace Functor {
    let Array: {
        map: <A, B>(f: (a: A) => B, fb: A[]) => B[];
    };
}
export declare function map<F extends FunctorInstances, A, B>(f: (a: A) => B, fa: $<F, A>): $<F, B>;