考虑以下代码：
type Func = number => number
type X = $Call<<A, R>(A => R) => R, Func>
type Y = $Call<<A, R>(A => R) => A, Func>
使用flow 0.77，X是类型number：流已成功提取Func中返回的 R 类型。但是Y是empty，在这里我期望number，即Func中第一个 A 参数的类型。
为什么用Y empty而不是number？