import { Apply } from './apply';
import { $, HKT } from '.';
export interface FlatMap<F extends HKT> extends Apply<F> {
    flatMap<A, B>(f: (a: A) => $<F, B>, fb: $<F, A>): $<F, B>;
}
export declare type FlatMapInstances = keyof typeof FlatMap;
export declare namespace FlatMap {
}
export declare function flatMap<F extends FlatMapInstances, A, B>(f: (a: A) => $<F, B>, fa: $<F, A>): $<F, B>;