[Typing-sig] Re: Moving typeshed representation of generic callable types to lowest common denominator

Pyre errors on that function definition (and the cast) with `Invalid type variable [34]: The type variable `Variable[T]` isn't present in the function's parameters.`.