import type * as P from "@principia/prelude";
import type * as HKT from "@principia/prelude/HKT";
import * as E from "../Either";
export declare const left: <F extends HKT.URIS, C = HKT.Auto>(
   M: P.Monad<F, C>
) => <E = never, A = never>(
   l: E
) => HKT.Kind<
   F,
   C,
   HKT.Initial<C, "N">,
   HKT.Initial<C, "K">,
   HKT.Initial<C, "Q">,
   HKT.Initial<C, "W">,
   HKT.Initial<C, "X">,
   HKT.Initial<C, "I">,
   HKT.Initial<C, "S">,
   HKT.Initial<C, "R">,
   HKT.Initial<C, "E">,
   E.Either<E, never>
>;
export declare const right: <F extends HKT.URIS, C = HKT.Auto>(
   M: P.Monad<F, C>
) => <E = never, A = never>(
   r: A
) => HKT.Kind<
   F,
   C,
   HKT.Initial<C, "N">,
   HKT.Initial<C, "K">,
   HKT.Initial<C, "Q">,
   HKT.Initial<C, "W">,
   HKT.Initial<C, "X">,
   HKT.Initial<C, "I">,
   HKT.Initial<C, "S">,
   HKT.Initial<C, "R">,
   HKT.Initial<C, "E">,
   E.Either<never, A>
>;
export declare const leftM: <F extends HKT.URIS, C = HKT.Auto>(
   M: P.Monad<F, C>
) => <N extends string, K, Q, W, X, I, S, R, E, A>(
   ma: HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, A>
) => HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, E.Either<A, never>>;
export declare const rightM: <F extends HKT.URIS, C = HKT.Auto>(
   M: P.Monad<F, C>
) => <N extends string, K, Q, W, X, I, S, R, E, A>(
   ma: HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, A>
) => HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, E.Either<never, A>>;
//# sourceMappingURL=constructors.d.ts.map