typescript中类型参数中使用的never关键字

我试图理解以下代码：

export const getArraySemigroup = <A = never>(): Semigroup<Array<A>> => {
  return {
    concat: (x, y) => concat(x, y)
  }
}

导出常量getArraySemigroup=（）：半组=>{ 返回{ concat：（x，y）=>concat（x，y） } } 我对

never

的理解是，这是一个永远无法解决的问题，它是否被用作默认参数

我以前从未见过（双关语）带有等号的类型参数

。默认情况下，泛型类型默认值为空对象，

如中所述

never类型表示从未出现的值的类型。例如，never是始终抛出异常或从不返回的函数表达式或箭头函数表达式的返回类型；变量在被任何不可能为真的类型保护缩小范围时也会获取类型never

这段代码基本上强制开发人员始终使用带有显式类型参数的泛型函数。
您可以在此处查看默认泛型类型的线程。为什么这里使用了
从不
类型我不知道，但是你必须问问写它的人它是什么意思。。