[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

报告中没有指定文件路径或测试路径。首先检查 itertools.batched 的 typeshed 存根和 reduce 的类型标注，然后使用 Python 3.13 示例重现所提供的 mypy 错误。当预期行为得到解决，并由适当的 typeshed 检查覆盖时，即表示完成。