为什么在多态函数中包含循环定义会导致类型定义出现问题？

Question

  

涉及循环定义的多态函数存在问题，而且您不能拥有所有集合的集合。

上面的句子来自types-and-functions，其中Bartos Milewski提供了一些有关类别理论的课程。在句子出现之前，Bartos Milewski给出了类型的直觉定义，即值的集合，这让我很难理解句子在说什么情境。谁能给我一些例子吗？关于为什么涉及多项式定义的多态函数为什么会引起类型为值集的定义问题？谢谢。

Answer 1

参数多态类型使用通用量词：对于所有类型a。这是循环的，因为这意味着a还必须包括您正在定义的类型。