haskell - ghci :info 和 haddock 关于类型同义词

Question

我有一个类型同义词

type Events t b = Tb.T t b

底层类型Tb.T是许多类型类的实例，例如

instance [safe] (Eq time, Eq body) => Eq (Tb.T time body)
instance [safe] Functor (Tb.T time)
..

我的类型同义词（当然）继承了所有这些实例。例如，它也是一个 Functor：

λ> :t flip fmap (undefined :: Events Int String)
flip fmap (undefined :: Events Int String)
  :: (String -> b) -> Tb.T Int b

但是这个事实并没有显示在 ghci 的:info命令中，也没有显示在生成的黑线鳕文档中。另外，我宁愿看到返回类型Events Int b而不是Tb.T Int b.

有没有办法绕过这个？

标签： haskellghcihaddock