[Typing] `batched` revealed type?

Bug report

Bug description:

Hi!

Consider the following.

from functools import reduce
from itertools import batched

x = reduce(batched, [1], (1,))

It makes mypy unhappy!

error: Argument 1 to "reduce" has incompatible type "type[batched[Any]]"; expected "Callable[[tuple[int], int], tuple[int]]"  [arg-type]

I did try to previously type hint the tuple with

the_tuple: tuple[int, ...] = (1,)

But the error remains the same.

It may be that I'm not understanding something elementary in which case, thanks for the help! Otherwise, is this a problem of batched or something deeper?

Thanks!

CPython versions tested on:

3.13

Operating systems tested on:

Linux

Im Bericht wird kein Datei- oder Testpfad genannt. Beginne damit, den typeshed-Stub für itertools.batched und die Typisierung von reduce zu untersuchen, und reproduziere dann den angegebenen mypy-Fehler mit dem Beispiel für Python 3.13. Erledigt ist die Aufgabe, wenn das beabsichtigte Verhalten geklärt und durch einen geeigneten typeshed-Check abgedeckt ist.