为什么类可以用作类型参数,为什么？

Question

我不小心发现以下是一个完美的编译代码:

class SomeClass a

someValue :: Maybe (SomeClass a)
someValue = undefined

我只习惯在类型约束中看到类,所以我不明白为什么这个代码类型检查以及以这种方式使用类的目的是什么.

我正在进行GHC 7.6.2.

Answer 1

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