[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

Nel report non è indicato alcun percorso di file o di test. Inizia esaminando lo stub di typeshed per itertools.batched e la tipizzazione di reduce, quindi riproduci l’errore mypy fornito con l’esempio Python 3.13. Il lavoro è completato quando il comportamento previsto è stato risolto ed è coperto da un controllo appropriato di typeshed.