import { HKT } from "@tsplus/stdlib/prelude/HKT";
import { AssociativeBoth } from "@tsplus/stdlib/prelude/AssociativeBoth";
import { Any } from "@tsplus/stdlib/prelude/Any";
/**
 * A binary operator that combines two values of types `F<A>` and `F<B>` to
 * produce an `F<Tuple<[A, B]>>` with an identity.
 */
export type IdentityBoth<F extends HKT> = AssociativeBoth<F> & Any<F>;
//# sourceMappingURL=IdentityBoth.d.ts.map