import { Compact } from '@typed/common';
import { Arity1 } from '@typed/lambda';
import { Future } from './Future';
export declare const ap: {
    <E1, E2, A, B, C>(fn: Future<E1, A, Arity1<B, C>>, value: Future<E2, A, B>): Future<Compact<E1 & E2>, A, C>;
    <E1_1, A_1, B_1, C_1>(fn: Future<E1_1, A_1, Arity1<B_1, C_1>>): <E2_1>(value: Future<E2_1, A_1, B_1>) => Future<Compact<E1_1 & E2_1>, A_1, C_1>;
};
//# sourceMappingURL=ap.d.ts.map