import type * as HKT from './HKT';
export interface Semimonoidal<F extends HKT.URIS, C = HKT.Auto> extends HKT.Base<F, C> {
    readonly cross_: CrossFn_<F, C>;
    readonly cross: CrossFn<F, C>;
}
export declare type SemimonoidalMin<F extends HKT.URIS, C = HKT.Auto> = {
    readonly cross_: CrossFn_<F, C>;
};
export interface Semimonoidal2<F extends HKT.URIS, G extends HKT.URIS, CF = HKT.Auto, CG = HKT.Auto> extends HKT.CompositionBase2<F, G, CF, CG> {
    readonly cross_: CrossFn2_<F, G, CF, CG>;
    readonly cross: CrossFn2<F, G, CF, CG>;
}
export interface CrossFn<F extends HKT.URIS, C = HKT.Auto> {
    <N1 extends string, K1, Q1, W1, X1, I1, S1, R1, E1, B>(fb: HKT.Kind<F, C, N1, K1, Q1, W1, X1, I1, S1, R1, E1, B>): <N extends string, K, Q, W, X, I, S, R, E, A>(fa: HKT.Kind<F, C, HKT.Intro<C, 'N', N1, N>, HKT.Intro<C, 'K', K1, K>, HKT.Intro<C, 'Q', Q1, Q>, HKT.Intro<C, 'W', W1, W>, HKT.Intro<C, 'X', X1, X>, HKT.Intro<C, 'I', I1, I>, HKT.Intro<C, 'S', S1, S>, HKT.Intro<C, 'R', R1, R>, HKT.Intro<C, 'E', E1, E>, A>) => HKT.Kind<F, C, HKT.Mix<C, 'N', [N1, N]>, HKT.Mix<C, 'K', [K1, K]>, HKT.Mix<C, 'Q', [Q1, Q]>, HKT.Mix<C, 'W', [W1, W]>, HKT.Mix<C, 'X', [X1, X]>, HKT.Mix<C, 'I', [I1, I]>, HKT.Mix<C, 'S', [S1, S]>, HKT.Mix<C, 'R', [R1, R]>, HKT.Mix<C, 'E', [E1, E]>, readonly [A, B]>;
}
export interface CrossFn_<F extends HKT.URIS, C = HKT.Auto> {
    <N extends string, K, Q, W, X, I, S, R, E, A, N1 extends string, K1, Q1, W1, X1, I1, S1, R1, E1, B>(fa: HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, A>, fb: HKT.Kind<F, C, HKT.Intro<C, 'N', N, N1>, HKT.Intro<C, 'K', K, K1>, HKT.Intro<C, 'Q', Q, Q1>, HKT.Intro<C, 'W', W, W1>, HKT.Intro<C, 'X', X, X1>, HKT.Intro<C, 'I', I, I1>, HKT.Intro<C, 'S', S, S1>, HKT.Intro<C, 'R', R, R1>, HKT.Intro<C, 'E', E, E1>, B>): HKT.Kind<F, C, HKT.Mix<C, 'N', [N, N1]>, HKT.Mix<C, 'K', [K, K1]>, HKT.Mix<C, 'Q', [Q, Q1]>, HKT.Mix<C, 'W', [W, W1]>, HKT.Mix<C, 'X', [X, X1]>, HKT.Mix<C, 'I', [I, I1]>, HKT.Mix<C, 'S', [S, S1]>, HKT.Mix<C, 'R', [R, R1]>, HKT.Mix<C, 'E', [E, E1]>, readonly [A, B]>;
}
export interface CrossFn2<F extends HKT.URIS, G extends HKT.URIS, CF = HKT.Auto, CG = HKT.Auto> {
    <NF1 extends string, KF1, QF1, WF1, XF1, IF1, SF1, RF1, EF1, NG1 extends string, KG1, QG1, WG1, XG1, IG1, SG1, RG1, EG1, B>(fgb: HKT.Kind<F, CF, NF1, KF1, QF1, WF1, XF1, IF1, SF1, RF1, EF1, HKT.Kind<G, CG, NG1, KG1, QG1, WG1, XG1, IG1, SG1, RG1, EG1, B>>): <NF extends string, KF, QF, WF, XF, IF, SF, RF, EF, NG extends string, KG, QG, WG, XG, IG, SG, RG, EG, A>(fga: HKT.Kind<F, CF, HKT.Intro<CF, 'N', NF1, NF>, HKT.Intro<CF, 'K', KF1, KF>, HKT.Intro<CF, 'Q', QF1, QF>, HKT.Intro<CF, 'W', WF1, WF>, HKT.Intro<CF, 'X', XF1, XF>, HKT.Intro<CF, 'I', IF1, IF>, HKT.Intro<CF, 'S', SF1, SF>, HKT.Intro<CF, 'R', RF1, RF>, HKT.Intro<CF, 'E', EF1, EF>, HKT.Kind<G, CG, HKT.Intro<CG, 'N', NG1, NG>, HKT.Intro<CG, 'K', KG1, KG>, HKT.Intro<CG, 'Q', QG1, QG>, HKT.Intro<CG, 'W', WG1, WG>, HKT.Intro<CG, 'X', XG1, XG>, HKT.Intro<CG, 'I', IG1, IG>, HKT.Intro<CG, 'S', SG1, SG>, HKT.Intro<CG, 'R', RG1, RG>, HKT.Intro<CG, 'E', EG1, EG>, A>>) => HKT.Kind<F, CF, HKT.Mix<CF, 'N', [NF1, NF]>, HKT.Mix<CF, 'K', [KF1, KF]>, HKT.Mix<CF, 'Q', [QF1, QF]>, HKT.Mix<CF, 'W', [WF1, WF]>, HKT.Mix<CF, 'X', [XF1, XF]>, HKT.Mix<CF, 'I', [IF1, IF]>, HKT.Mix<CF, 'S', [SF1, SF]>, HKT.Mix<CF, 'R', [RF1, RF]>, HKT.Mix<CF, 'E', [EF1, EF]>, HKT.Kind<G, CG, HKT.Mix<CG, 'N', [NG1, NG]>, HKT.Mix<CG, 'K', [KG1, KG]>, HKT.Mix<CG, 'Q', [QG1, QG]>, HKT.Mix<CG, 'W', [WG1, WG]>, HKT.Mix<CG, 'X', [XG1, XG]>, HKT.Mix<CG, 'I', [IG1, IG]>, HKT.Mix<CG, 'S', [SG1, SG]>, HKT.Mix<CG, 'R', [RG1, RG]>, HKT.Mix<CG, 'E', [EG1, EG]>, readonly [A, B]>>;
}
export interface CrossFn2_<F extends HKT.URIS, G extends HKT.URIS, CF = HKT.Auto, CG = HKT.Auto> {
    <NF extends string, KF, QF, WF, XF, IF, SF, RF, EF, NG extends string, KG, QG, WG, XG, IG, SG, RG, EG, NF1 extends string, KF1, QF1, WF1, XF1, IF1, SF1, RF1, EF1, NG1 extends string, KG1, QG1, WG1, XG1, IG1, SG1, RG1, EG1, A, B>(fga: HKT.Kind<F, CF, NF, KF, QF, WF, XF, IF, SF, RF, EF, HKT.Kind<G, CG, NG, KG, QG, WG, XG, IG, SG, RG, EG, A>>, fgb: HKT.Kind<F, CF, HKT.Intro<CF, 'N', NF, NF1>, HKT.Intro<CF, 'K', KF, KF1>, HKT.Intro<CF, 'Q', QF, QF1>, HKT.Intro<CF, 'W', WF, WF1>, HKT.Intro<CF, 'X', XF, XF1>, HKT.Intro<CF, 'I', IF, IF1>, HKT.Intro<CF, 'S', SF, SF1>, HKT.Intro<CF, 'R', RF, RF1>, HKT.Intro<CF, 'E', EF, EF1>, HKT.Kind<G, CG, HKT.Intro<CG, 'N', NG, NG1>, HKT.Intro<CG, 'K', KG, KG1>, HKT.Intro<CG, 'Q', QG, QG1>, HKT.Intro<CG, 'W', WG, WG1>, HKT.Intro<CG, 'X', XG, XG1>, HKT.Intro<CG, 'I', IG, IG1>, HKT.Intro<CG, 'S', SG, SG1>, HKT.Intro<CG, 'R', RG, RG1>, HKT.Intro<CG, 'E', EG, EG1>, B>>): HKT.Kind<F, CF, HKT.Mix<CF, 'N', [NF, NF1]>, HKT.Mix<CF, 'K', [KF, KF1]>, HKT.Mix<CF, 'Q', [QF, QF1]>, HKT.Mix<CF, 'W', [WF, WF1]>, HKT.Mix<CF, 'X', [XF, XF1]>, HKT.Mix<CF, 'I', [IF, IF1]>, HKT.Mix<CF, 'S', [SF, SF1]>, HKT.Mix<CF, 'R', [RF, RF1]>, HKT.Mix<CF, 'E', [EF, EF1]>, HKT.Kind<G, CG, HKT.Mix<CG, 'N', [NG, NG1]>, HKT.Mix<CG, 'K', [KG, KG1]>, HKT.Mix<CG, 'Q', [QG, QG1]>, HKT.Mix<CG, 'W', [WG, WG1]>, HKT.Mix<CG, 'X', [XG, XG1]>, HKT.Mix<CG, 'I', [IG, IG1]>, HKT.Mix<CG, 'S', [SG, SG1]>, HKT.Mix<CG, 'R', [RG, RG1]>, HKT.Mix<CG, 'E', [EG, EG1]>, readonly [A, B]>>;
}
//# sourceMappingURL=Semimonoidal.d.ts.map