Haskell Quine: «ap» Monad

Question

Каков правильный способ использования монады «ap» в Haskell? Я хочу сделать что-то похожее на это:

main = (putStr . ap (++) show) "main = (putStr . ap (++) show) " 

но я получаю сообщение об ошибке «Не в области:« ap ».

Использование «import Control.Monad» ничего не делает. И я попытался дать ему

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

тогда я получаю «тип подписи для` ар»не имеет сопроводительной связывания»

Answer 1

Control.Monad Импорт должен дать вам ap. Тем не менее, во всех, кроме самых последних версий GHC (7.6.1 и новее), вам также потребуется импортировать Control.Monad.Instances, чтобы использовать экземпляр monad для функций.

В качестве альтернативы, вы можете импортировать Control.Applicative, который дает <*> оператор, который ap обобщается на Applicative, а также необходимые экземпляры, чтобы использовать его с функциями.