[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

Báo cáo không nêu đường dẫn tệp hoặc đường dẫn kiểm thử nào. Hãy bắt đầu bằng cách xem xét stub của typeshed cho itertools.batched và kiểu của reduce, sau đó tái hiện lỗi mypy được cung cấp bằng ví dụ Python 3.13. Công việc được xem là hoàn tất khi hành vi dự kiến được giải quyết và được bao phủ bởi một kiểm tra typeshed phù hợp.