import { EqK } from './eq-k';
import { Apply } from './apply';
import { Functor } from './functor';
import { Applicative } from './applicative';
import { Foldable } from './foldable';
import { Traversable } from './traversable';
export interface ComposedEqK<F, G> extends EqK<[F, G]> {
}
export declare const ComposedEqK: Readonly<{
    of: <F, G>(F: EqK<F>, G: EqK<G>) => ComposedEqK<F, G>;
}>;
export interface ComposedFunctor<F, G> extends Functor<[F, G]> {
}
export declare const ComposedFunctor: Readonly<{
    of: <F, G>(F: Functor<F>, G: Functor<G>) => ComposedFunctor<F, G>;
}>;
export interface ComposedApply<F, G> extends Apply<[F, G]>, ComposedFunctor<F, G> {
}
export declare const ComposedApply: Readonly<{
    of: <F, G>(F: Apply<F>, G: Apply<G>) => ComposedApply<F, G>;
}>;
export interface ComposedApplicative<F, G> extends Applicative<[F, G]>, ComposedApply<F, G> {
}
export declare const ComposedApplicative: Readonly<{
    of: <F, G>(F: Applicative<F>, G: Applicative<G>) => ComposedApplicative<F, G>;
}>;
export interface ComposedFoldable<F, G> extends Foldable<[F, G]> {
}
export declare const ComposedFoldable: Readonly<{
    of: <F, G>(F: Foldable<F>, G: Foldable<G>) => ComposedFoldable<F, G>;
}>;
export interface ComposedTraversable<F, G> extends Traversable<[F, G]>, ComposedFoldable<F, G> {
}
export declare const ComposedTraversable: Readonly<{
    of: <F, G>(F: Traversable<F>, G: Traversable<G>) => ComposedTraversable<F, G>;
}>;
//# sourceMappingURL=composed.d.ts.map