import type { XPure } from "./model";
export declare const chain_: <S1, S2, R, E, A, S3, Q, D, B>(
   ma: XPure<S1, S2, R, E, A>,
   f: (a: A) => XPure<S2, S3, Q, D, B>
) => XPure<S1, S3, Q & R, E | D, B>;
export declare const chain: <A, S2, S3, Q, D, B>(
   f: (a: A) => XPure<S2, S3, Q, D, B>
) => <S1, R, E>(ma: XPure<S1, S2, R, E, A>) => XPure<S1, S3, Q & R, D | E, B>;
export declare const tap_: <S1, S2, R, E, A, S3, Q, D, B>(
   ma: XPure<S1, S2, R, E, A>,
   f: (a: A) => XPure<S2, S3, Q, D, B>
) => XPure<S1, S3, Q & R, E | D, A>;
export declare const tap: <S2, A, S3, Q, D, B>(
   f: (a: A) => XPure<S2, S3, Q, D, B>
) => <S1, R, E>(ma: XPure<S1, S2, R, E, A>) => XPure<S1, S3, Q & R, D | E, A>;
export declare const flatten: <S1, S2, R, E, A, S3, Q, D>(
   mma: XPure<S1, S2, R, E, XPure<S2, S3, Q, D, A>>
) => XPure<S1, S3, Q & R, E | D, A>;
//# sourceMappingURL=monad.d.ts.map