import { HKT } from "@tsplus/stdlib/prelude/HKT";
import { AssociativeEither } from "@tsplus/stdlib/prelude/AssociativeEither";
/**
 * A commutative binary operator that combines two values of types `F<A>` and
 * `F<B>` to produce an `F<Either<A, B>>`.
 *
 * @tsplus type CommutativeEither
 */
export type CommutativeEither<F extends HKT> = {
    readonly Law: {
        readonly CommutativeEither: "CommutativeEither";
    };
} & AssociativeEither<F>;
//# sourceMappingURL=CommutativeEither.d.ts.map