标签： haskell
我在使用GHC进行编译时遇到了一个非常奇怪的错误。这涉及函数f。
f :: a -> a f x = x :: a
GHC抱怨x的表达式类型为a1，与a不匹配。 我不明白Haskell的类型系统是如何工作的，有什么解释吗？谢谢！