通用咖喱-javascript

在阅读 article 在javascript中实现通用curry时,我偶然发现了这段代码。

function curry(fn) {
  return (...xs) => {
    if (xs.length === 0) {
      throw Error('EMPTY INVOCATION');
    }
    if (xs.length >= fn.length) {
      return fn(...xs);
    }
    return curry(fn.bind(null, ...xs));
  };
}

我无法理解解释中所说的

我们创建一个fn的副本,它绑定了第一个k参数 (部分应用)并将其作为下一个fn传递给curry,其减少的arity为n-k。

如何计算 fn 在随后的通话中减少到N-K?带k个参数的绑定函数的arity应该是k对吧?