haskell - 为什么名称形成一种类型而不仅仅是一种类型？

Question

前段时间在 Haskell 扩展之一中(找不到链接)，以及 recently in Ur我发现名称(例如记录字段的名称)形成一种类型。有人可以解释为什么类型抽象对他们来说还不够吗？

Answer 1

答案很简单:因为它们可以出现在类型中。因此，它们必须存在于类型级别上(否则您将需要依赖类型)。因为它们生活在类型级别，所以它们按种类进行分类。