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

Question

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

class SomeClass a

someValue :: Maybe (SomeClass a)
someValue = undefined

我只习惯在类型约束中看到类，所以我不明白为什么这个代码会出现问题，以及以这种方式使用类的目的是什么。

我正在参加GHC 7.6.2。

Answer 1

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

Answer 2

错误。

  

A.hs：3：21：       类`SomeClass'用作类型

In the type signature for `someValue':