Haskell Quine: "ap" Monad

Question

Jaki jest właściwy sposób użycia monady "ap" w Haskell? Chcę zrobić coś podobnego do tego:

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

, ale pojawia się błąd "Nie w zakresie:" ap "."

Użycie "import Control.Monad" nic nie robi. i próbowałem nadając mu

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

potem dostać „Podpis dla typu` ap”brakuje towarzyszący wiązanie”

Answer 1

Importowanie Control.Monad powinno dać ap. Jednak we wszystkich, oprócz najnowszych wersji GHC (7.6.1 i nowszych), musisz również zaimportować Control.Monad.Instances, aby użyć instancji monad dla funkcji.

Można importowania Control.Applicative co daje operatorowi <*>, który ap uogólnione Applicative, jak również niezbędne przypadkach stosowanie jej funkcji.