purescript - 为什么类约束阻止我定义行类型

Question

说我尝试定义type Test o e = Nub o e => e

然后我得到一个错误，告诉e我它不能匹配#TypeType

但type Test o e = Nub o e => Record e工作正常，所以我想它不希望我使用行类型变量作为我定义的结果。

然后type Test (e :: #Type) = e确实有效，所以#Type正常在那里没有任何问题。

所以关于Nub约束的一些东西正在改变关于我可以定义哪种类型的规则，但我不知道如何定义。这里发生了什么？

标签： purescript