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。