import type { ApplicativeMin } from './Applicative';
import type { BindMin } from './Bind';
import { Applicative } from './Applicative';
import { Bind } from './Bind';
import * as HKT from './HKT';
export interface Monad<F extends HKT.URIS, C = HKT.Auto> extends Applicative<F, C>, Bind<F, C> {
}
export declare type MonadMin<F extends HKT.URIS, C = HKT.Auto> = ApplicativeMin<F, C> & BindMin<F, C>;
export declare function Monad<F extends HKT.URIS, C = HKT.Auto>(F: MonadMin<F, C>): Monad<F, C>;
//# sourceMappingURL=Monad.d.ts.map