import { HKT } from "@tsplus/stdlib/prelude/HKT";
import { Monad } from "@tsplus/stdlib/prelude/Monad";
/**
 * @tsplus static DSL flatMapF_
 * @tsplus location "@tsplus/stdlib/prelude/DSL/flatMapF"
 */
export declare function flatMapF_<F extends HKT>(F: Monad<F>): <R, E, A, R2, E2, B>(fa: import("../HKT").HKT.Kind<F, R, E, A>, f: (a: A) => import("../HKT").HKT.Kind<F, R2, E2, B>) => import("../HKT").HKT.Kind<F, R & R2, E | E2, B>;
/**
 * @tsplus static DSL flatMapF
 * @tsplus location "@tsplus/stdlib/prelude/DSL/flatMapF"
 */
export declare function flatMapF<F extends HKT>(F: Monad<F>): <R2, E2, A, B>(f: (a: A) => import("../HKT").HKT.Kind<F, R2, E2, B>) => <R, E>(fa: import("../HKT").HKT.Kind<F, R, E, A>) => import("../HKT").HKT.Kind<F, R2 & R, E2 | E, B>;
//# sourceMappingURL=flatMapF.d.ts.map