import type { ApplicativeExceptMin } from './ApplicativeExcept';
import type { Either } from './Either';
import type { MonadMin } from './Monad';
import { ApplicativeExcept } from './ApplicativeExcept';
import * as HKT from './HKT';
import { Monad } from './Monad';
export interface MonadExcept<F extends HKT.URIS, C = HKT.Auto> extends Monad<F, C>, ApplicativeExcept<F, C> {
    readonly refail: RefailFn<F, C>;
}
export declare type MonadExceptMin<F extends HKT.URIS, C = HKT.Auto> = MonadMin<F, C> & ApplicativeExceptMin<F, C>;
export declare function MonadExcept<F extends HKT.URIS, C = HKT.Auto>(F: MonadExceptMin<F, C>): MonadExcept<F, C>;
export interface RefailFn<F extends HKT.URIS, C = HKT.Auto> {
    <N extends string, K, Q, W, X, I, S, R, E, E1, A>(fa: HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, Either<HKT.OrFix<'E', C, E1>, A>>): HKT.Kind<F, C, N, K, Q, W, X, I, S, R, HKT.Mix<C, 'E', [E, E1]>, A>;
}
export declare function refailF<F extends HKT.URIS, C = HKT.Auto>(F: MonadExceptMin<F, C>): RefailFn<F, C>;
//# sourceMappingURL=MonadExcept.d.ts.map