import type * as P from "@principia/prelude";
import type { Either } from "../Either";
import type { EIO, URI, V } from "./model";
export declare const recover: <E, A>(fa: EIO<E, A>) => EIO<never, Either<E, A>>;
export declare const absolve: <E, E1, A>(fa: EIO<E, Either<E1, A>>) => EIO<E | E1, A>;
export declare const Fallible: P.Fallible<[URI], V>;
//# sourceMappingURL=fallible.d.ts.map