haskell - 如何获取特定类型类实例的多态函数类型？

Question

例如，键入 :t ap在 GHCi 中给出了结果

ap :: Monad m => m (a -> b) -> m a -> m b

如果我已经知道我要使用的 Monad 实例是 ((->) r) ,如何查询 ap的类型对于那个特定的例子？

Answer 1

如Lazersmoke作为评论说你可以使用TypeApplications GHC 8.0 中引入的扩展。

在 GHCi 中:

λ > :set -XTypeApplications
λ > import Control.Monad
λ > :t ap @((->) _)
ap @((->) _) :: (t -> a -> b) -> (t -> a) -> t -> b