Scala 测试中*的含义是什么？

在猫的测试中，

*

作为类型参数出现，例如：

checkAll("Nested[Eval, List, *]", DeferTests[Nested[Eval, List, *]].defer[Int])

（见附件）

---

我知道编译器将其转换为类型级函数，但为什么？它的定义是什么？它是语言规范的一部分还是cats的一部分（或它的一个依赖项）？

它是一种投影仪编译器插件，可以将带星号的类型转换为lambdas类型

以前的语法是带问号的，现在的是带星星的