Python中能否对类型进行全称量化？cons函数类型标注遇Pyre报错

我想要将cons函数编码为如下形式：

def cons(a, b):
    return lambda f : f(a, b)

我希望为上述cons函数添加类型标注，初步的标注写法如下：

from typing import TypeVar, Callable

T = TypeVar('T')
U = TypeVar('U')
V = TypeVar('V')

def cons(a: T, b: U) -> Callable[[Callable[[T, U], V]], V]:
    return lambda f : f(a, b)

但该代码无法通过Pyre类型检查，报错信息为：

cons.py:7:24 Invalid type variable [34]: The type variable `Variable[V]` isn't present in the function's parameters.

我认为需要对函数的返回类型进行全称量化，请问Python类型系统中是否有对应的实现方式？

内容的提问来源于stack exchange，提问作者namesis