[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 チェックでカバーされていれば完了です。