haskell - 为什么 Haskell 的 'Generic' 类类型族 'Rep a' 被注释为类型构造函数，而不是类型？

Question

考虑 Haskell 的 Generic类(class) :

class Generic a where
  -- | Generic representation type
  type Rep a :: * -> *
  -- | Convert from the datatype to its representation
  from  :: a -> (Rep a) x
  -- | Convert from the representation to the datatype
  to    :: (Rep a) x -> a

我很好奇为什么它没有写成如下:

class Generic a where
  -- | Generic representation type
  type Rep a :: *
  -- | Convert from the datatype to its representation
  from  :: a -> Rep a
  -- | Convert from the representation to the datatype
  to    :: Rep a -> a

更具体地说，类型变量 x 有什么作用？代表标准定义？

Answer 1

这样做是为了允许 Generic和 Generic1类来共享它们的大部分表示类型。这是否真的是一个好主意是值得商榷的。尽量忽略多余的参数。