Haskell 为什么类可以用作类型参数，以及用于什么？

我意外地发现以下代码是一个完美的编译代码：

class SomeClass a

someValue :: Maybe (SomeClass a)
someValue = undefined

我只习惯于在类型约束中看到类，所以我不明白为什么这段代码会进行类型检查，以及以这种方式使用类的目的是什么

我在GHC 7.6.2上。

错误

A.hs:3:21： 类“SomeClass”用作类型

In the type signature for `someValue':

---

这是ghc-7.6.2中的一个bug。这应该是一种错误。请报告。

忘了提了。我使用的是GHC 7.6.2您是否打开了GHC扩展？启用约束种类后，我希望您会得到种类不匹配，即

可能：：*->*

vs

SomeClass:：*->constraint

。如果内存为我服务，那么类和类型共享同一名称空间，这充其量只是一种错误，所以我不确定编译器为什么会接受它。@C.a.McCann No.None。只是一个文件的普通

runghc

，其内容如问题所示。出于好奇，如果将

未定义的
替换为
无
，会发生什么情况？@C.a.McCann仍在编译Wow。好的，这很奇怪，肯定需要报告。结果证明已经修复了：