`Typeable(* - > Constraint)Monoid`实例的目的是什么？

Question

自GHC 7.8以来,Typeable是多元化的.查看文档中的内置Typeable实例列表,我注意到一些有趣的事情:

Typeable ((* -> *) -> Constraint) Alternative
Typeable ((* -> *) -> Constraint) Applicative
Typeable (* -> Constraint) Monoid

显然,它允许查看(某些)类型的类型表示Constraint:

Prelude Data.Monoid Data.Typeable> typeRep $ (Proxy :: Proxy (Monoid Int))
Monoid Int

这个功能有什么用途,还是只是偶然提供？

Answer 1

嗯,ConstraintKind现在允许s.这意味着您可以定义通过约束参数化的数据类型.

一个(人为的)例子:

data CPair (c :: * -> Constraint) where
  MkCPair :: (c a, c b) => a -> b -> CPair c

这是一对可能不同类型的两个组件,它们共享一个公共类:

aPair :: CPair Show
aPair = MkCPair 'x' True

现在,我们想aPair成为Typeable吗？这既需要CPair和Show要Typeable为好.

deriving instance Typeable CPair
deriving instance Typeable Show

现在:

GHCi> typeOf aPair
CPair Show

因此,Typeable如果它们现在可以作为类型出现,那么它只会导致派生类.

有趣的是,这Typeable Show不是预定义的,而是Typeable Applicative.这是因为有一个新的GHC扩展AutoDeriveTypeable似乎在某些模块中启用,但在其他模块中没有启用.有AutoDeriveTypeable,有一些Typeable实例派生于模块中的所有内容,包括类.