import type * as TC from "@principia/prelude";
import * as HKT from "@principia/prelude/HKT";
import * as E from "../Either";
export declare type V<C> = HKT.CleanParam<C, "E"> & HKT.V<"E", "+">;
export declare function Applicative<F extends HKT.URIS, C = HKT.Auto>(
   F: TC.Applicative<F, C>
): TC.Applicative<HKT.AppendURI<F, E.URI>, V<C>>;
export declare function Monad<F extends HKT.URIS, C = HKT.Auto>(
   M: TC.Monad<F, C>
): TC.Monad<HKT.AppendURI<F, E.URI>, V<C>>;
//# sourceMappingURL=instances.d.ts.map