return only generics dropped from higher order function

[KotlinIsland]

from typing import Callable, TypeVar

def asdf[T, **P](fn: Callable[P, T]) -> Callable[P, T]: ...

T = TypeVar("T")
foo: "() -> T"

reveal_type(asdf(foo)) # "() -> Never", should be "[T] () -> T"