import { Apply } from './apply';
import { $, HKT } from '.';
export declare type ApplicativeInstances = keyof typeof Applicative;
export interface Applicative<F extends HKT> extends Apply<F> {
    pure<A>(v: A): $<F, A>;
}
export declare namespace Applicative {
}
export declare function lift2<F extends ApplicativeInstances, A, B, C>(fabc: (a: A, b: B) => C): (fa: $<F, A>, fb: $<F, B>) => $<F, C>;