我是Haskell的初学者，而undefined函数的类型签名使我大吃一惊。
我期待更简单的东西，但是我在Hackage上发现了这一点：
undefined :: forall (r :: RuntimeRep). forall (a :: TYPE r). HasCallStack => a
错误的特殊情况。期望编译器将识别出这种情况并插入更适合
undefined出现上下文的错误消息。
您能解释一下这个签名是什么意思吗？
谢谢！