相关疑难解决方法(0)

例如,键入:t apGHCi会得到结果

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

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