import { Functor } from './functor';
import { Cartesian } from './cartesian';
import { $, HKT } from '.';
export interface Apply<F extends HKT> extends Cartesian<F>, Functor<F> {
    ap<A, B>(fab: $<F, (a: A) => B>, fa: $<F, A>): $<F, B>;
}
export declare type ApplyInstances = keyof typeof Apply;
export declare namespace Apply {
}
export declare function ap<F extends ApplyInstances, A, B>(fab: $<F, (a: A) => B>, fa: $<F, A>): $<F, B>;
export declare function ap2<F extends ApplyInstances, A, B, C>(fabc: $<F, (a: A, b: B) => C>, fa: $<F, A>, fb: $<F, B>): $<F, C>;