为什么将循环定义包含在多态函数中会引起类型定义的问题？

Question

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

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

Answer 1

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