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