相关疑难解决方法(0)

我正在阅读" 了解你是一个哈斯克尔",在monad章节中,在我看来,()对于每种类型来说,它都被视为一种"空".当我检查()GHCi 的类型时,我得到了

>> :t ()
() :: ()

这是一个非常令人困惑的声明.这似乎()是一种全部类型.我很困惑它是如何融入语言的,以及它如何能够代表任何类型.