lambdabot建议加入，但它不工作

Question

这是一种将高阶函数的参数给定函数两次：

dapp :: (a -> a -> a) -> a -> a 
dapp = \f x -> f x x 

ghci> dapp (*) 5 
25 

我们可以作出这样的短？让我们来问一下：

lambdabot> @pl \f x -> f x x 
join 

Hooray！让我们来尝试一下：

import Control.Monad (join) 

dapp :: (a -> a -> a) -> a -> a 
dapp = join 

但它不工作:(

No instance for (Monad ((->) a)) 
    arising from a use of `join' 
Possible fix: add an instance declaration for (Monad ((->) a)) 
In the expression: join 
In an equation for `dapp': dapp = join 

为什么会出现这种情况我是否导入错误join我找不到另一join上Hoogle

？。

Answer 1

Until recently，为(->) r的Functor和Monad实例中Control.Monad.Instances是orphan instances。

但是，从base-4.6.0.0（GHC 7.6.1）开始，这些实例已移至Prelude和（现在为空）Control.Monad.Instanceshas been deprecated。

因此，要使用这些实例，请输入Control.Monad.Instances或升级您的GHC。