用于显示类型函数

Question

在命令:set -XTypeApplications之后，我们可以使用GHCi来显示 特定实例的类型类函数的特化。

一个简单的例子：

:type fmap @Maybe

GHCi回复

fmap @Maybe :: (a -> b) -> Maybe a -> Maybe b

问题：具有两个（或多个）多态参数的数据类型的实例的语法是什么？

在 Functor 类中，这些是Either a，((,) a或((->) r)等实例。 我尝试了以下示例，但所有这些示例都被GHCi拒绝了：

:t fmap @Either 
:t fmap @(Either a)
:t fmap @(Either a b)
:t forall a. fmap @(Either a)

Answer 1

应该是

> :t fmap @(Either a)

但这需要a在范围内，而不是。 为此，我们需要类型级抽象

> -- pseudo code
> :t \ (a :: *) -> fmap @(Either a)
forall a b c . (b -> c) -> Either a b -> Either a c 

但这仅在Core中找到。

然而，我们可以使用自定义的虚拟类型A：

> data A -- don't declare instances for this
> :t fmap @(Either A)
forall b c. (b -> c) -> Either A b -> Either A c 

更简单的替代方案，使用部分类型注释。

> :t fmap @(Either _)
fmap @(Either _) :: (a -> b) -> Either t a -> Either t b