import type * as P from "@principia/prelude";
import * as E from "../Either";
import type { ErrorInfo } from "./decode-error";
import * as DE from "./DecodeError";
import type { C } from "./model";
/**
 * @internal
 */
export declare const SE: P.Semigroup<import("../FreeSemigroup").FreeSemigroup<DE.DecodeError<ErrorInfo>>>;
/**
 * @internal
 */
export declare const M: P.MonadFail<[E.URI], C> &
   P.Applicative<[E.URI], C> &
   P.Alt<[E.URI], C> &
   P.Bifunctor<[E.URI], E.V>;
//# sourceMappingURL=monad.d.ts.map