Pradeep Kumar

cc @mrahtz who had created some stubs for tensorflow [here](https://github.com/deepmind/tensor_annotations/tree/master/tensorflow-stubs/tensorflow-stubs) and might have useful advice for non-variadic stubs (since you said you don't want to use PEP 646 shape types...

Yeah, we'd like to support this, but I don't think we'll get to it any time in 2022 (internal tracking task: T61938090).

@shannonzhu Could you take a look at this? Is the search path not configured correctly?

@mrahtz Yes, this is a bug. We don't treat them as identical. Will fix.

@sk- Thanks for the thoughtful question. Overall, Pyre doesn't yet have great support for higher-order generic functions called with other generic functions. We plan to substantially improve Pyre's type inference...

@llchan Yes, we plan to add a follow-up PEP to PEP 646 with support for such mapping (hopefully, later this year). We cut it from the original PEP because the...

Thanks for the thoughtful use case. Yeah, we didn't address this in the PEP. For the above case, Pyre currently uses all the parameters, default or not. So, it expects...

> I'm a bit surprised about that, because pyre is about type checking, which is usually optional in python. What portions depend essentially on this? I'm just asking because if(?)...