function allResult<T>(
  results: T,
): Result<
  { [K in string | number | symbol]: InferOk<T[K]> },
  InferErr<T[number]>
>;

const results = [ok(1), ok(2), ok(3)];
const all = allResult(results);
// ok([1, 2, 3])

const withError = [ok(1), err("fail"), ok(3)];
const failed = allResult(withError);
// err("fail")

function allResult<T>(
  results: T,
): Result<
  { [P in string | number | symbol]: InferOk<T[P]> },
  [keyof T] extends [never] ? never : InferErr<T[keyof T]>
>;

const result = allResult({ a: ok(1), b: ok(2) });
// ok({ a: 1, b: 2 })

function allResult<T, E>(
  results: Iterable<Result<T, E>>,
): Result<readonly T[], E>;

const results: ReadonlyArray<Result<number, Error>> = getResults();
const all = allResult(results);
// Result<ReadonlyArray<number>, Error>

function allResult<T, E>(
  results: readonly [Result<T, E>, Result<T, E>],
): Result<readonly [T, T], E>;

const results: NonEmptyReadonlyArray<Result<number, Error>> = [ok(1), ok(2)];
const all = allResult(results);
// Result<NonEmptyReadonlyArray<number>, Error>