import { $, $type, Fix, TyK, TyVar, α, λ } from '@fp4ts/core';
import { Bifunctor } from '../bifunctor';
import { Comonad } from '../comonad';
import { Traversable } from '../traversable';
export declare const tuple2Bifunctor: import("@fp4ts/core").Lazy<Bifunctor<Tuple2F>>;
export declare const tuple2LeftComonad: <R>() => Comonad<TupleLeftF<R>>;
export declare const tuple2LeftTraversable: <L>() => Traversable<TupleLeftF<L>>;
export declare const tuple2RightComonad: <L>() => Comonad<TupleRightF<L>>;
export declare const tuple2RightTraversable: <L>() => Traversable<TupleRightF<L>>;
export interface Tuple2F extends TyK<[unknown, unknown]> {
    [$type]: [TyVar<this, 0>, TyVar<this, 1>];
}
export type TupleRightF<A> = $<Tuple2F, [A]>;
export type TupleLeftF<B> = λ<Tuple2F, [α, Fix<B>]>;
//# sourceMappingURL=tuple2.d.ts.map