import type { Monoid } from './Monoid';
import type { MonoidalFunctor } from './MonoidalFunctor';
import type { SemigroupKind } from './SemigroupKind';
import * as HKT from './HKT';
export interface MonoidKind<A, F extends HKT.URIS, C = HKT.Auto> extends SemigroupKind<A, F, C> {
    readonly nat: HKT.Kind<F, C, HKT.Initial<C, 'N'>, HKT.Initial<C, 'K'>, HKT.Initial<C, 'Q'>, HKT.Initial<C, 'W'>, HKT.Initial<C, 'X'>, HKT.Initial<C, 'I'>, HKT.Initial<C, 'S'>, HKT.Initial<C, 'R'>, HKT.Initial<C, 'E'>, A>;
}
export declare function liftMonoid<F extends HKT.URIS, C = HKT.Auto>(F: MonoidalFunctor<F, C>): <A>(M: Monoid<A>) => MonoidKind<A, F, C>;
//# sourceMappingURL=MonoidKind.d.ts.map