相关疑难解决方法(0)

我对Haskell禁止作为"impredicative"的类型有相当不同的直觉:即forall出现在除了类型构造函数的参数中的类型->.但究竟什么是困境？是什么让它变得重要？它与"谓词"这个词有什么关系？