Enr*_*lis 1 haskell partial-application language-lawyer type-constructor
在我们阅读的类型同义词中
就像我们可以部分应用函数来获取新函数一样，我们可以部分应用类型参数并从中获取新的类型构造函数。
如何将参数 应用于其他事物？我认为它实际上应该是
就像我们可以部分应用函数来获取新函数一样，我们可以部分应用类型构造函数（给它们比他们期望的更少的类型参数）并从中获取新的类型构造函数。
你同意？
作者似乎使用apply来表示“函数的参数”以及“函数的参数”。
再往下我们读
我们将通过只提供一个参数来部分应用
意思是前者，还有
让我们将 type 参数应用于 Maybe ，看看该类型是什么类型。
ghci> :k Maybe Int
意思是后者。