import type * as P from "@principia/prelude";
import type { URI, V } from "./model";
export declare const chain_: <A, B>(ma: A, f: (a: A) => B) => B;
export declare const chain: <A, B>(f: (a: A) => B) => (ma: A) => B;
export declare const tap_: <A, B>(ma: A, f: (a: A) => B) => A;
export declare const tap: <A, B>(f: (a: A) => B) => (ma: A) => A;
export declare const flatten: <A>(mma: A) => A;
export declare const Monad: P.Monad<[URI], V>;
//# sourceMappingURL=monad.d.ts.map