import type * as HKT from './HKT';
export interface Semigroupoid<F extends HKT.URIS, C = HKT.Auto> extends HKT.Base<F, C> {
    readonly compose_: ComposeFn_<F, C>;
    readonly compose: ComposeFn<F, C>;
}
export interface ComposeFn<F extends HKT.URIS, TC = HKT.Auto> {
    <B, C, N1 extends string, K1, Q1, W1, X1, S1, R1, E1>(bc: HKT.Kind<F, TC, N1, K1, Q1, W1, X1, B, S1, R1, E1, C>): <A, N extends string, K, Q, W, X, S, R, E>(ab: HKT.Kind<F, TC, HKT.Intro<TC, 'N', N1, N>, HKT.Intro<TC, 'K', K1, K>, HKT.Intro<TC, 'Q', Q1, Q>, HKT.Intro<TC, 'W', W1, W>, HKT.Intro<TC, 'X', X1, X>, A, HKT.Intro<TC, 'S', S1, S>, HKT.Intro<TC, 'R', R1, R>, HKT.Intro<TC, 'E', E1, E>, B>) => HKT.Kind<F, TC, HKT.Mix<TC, 'N', [N1, N]>, HKT.Mix<TC, 'K', [K1, K]>, HKT.Mix<TC, 'Q', [Q1, Q]>, HKT.Mix<TC, 'W', [W1, W]>, HKT.Mix<TC, 'X', [X1, X]>, A, HKT.Mix<TC, 'S', [S1, S]>, HKT.Mix<TC, 'R', [R1, R]>, HKT.Mix<TC, 'E', [E1, E]>, C>;
}
export interface ComposeFn_<F extends HKT.URIS, TC = HKT.Auto> {
    <N extends string, K, Q, W, X, I, S, R, E, N1 extends string, K1, Q1, W1, X1, I1, S1, R1, E1, A, B, C>(ab: HKT.Kind<F, TC, N, K, Q, W, X, A, S, R, E, B>, bc: HKT.Kind<F, TC, HKT.Intro<TC, 'N', N, N1>, HKT.Intro<TC, 'K', K, K1>, HKT.Intro<TC, 'Q', Q, Q1>, HKT.Intro<TC, 'W', W, W1>, HKT.Intro<TC, 'X', X, X1>, B, HKT.Intro<TC, 'S', S, S1>, HKT.Intro<TC, 'R', R, R1>, HKT.Intro<TC, 'E', E, E1>, C>): HKT.Kind<F, TC, HKT.Mix<TC, 'N', [N, N1]>, HKT.Mix<TC, 'K', [K, K1]>, HKT.Mix<TC, 'Q', [Q, Q1]>, HKT.Mix<TC, 'W', [W, W1]>, HKT.Mix<TC, 'X', [X, X1]>, A, HKT.Mix<TC, 'S', [S, S1]>, HKT.Mix<TC, 'R', [R, R1]>, HKT.Mix<TC, 'E', [E, E1]>, C>;
}
//# sourceMappingURL=Semigroupoid.d.ts.map