Haskell Quine: "ap" Monad

Question

Was ist der richtige Weg, um die "ap" Monade in Haskell zu verwenden? Ich möchte etwas ähnliches tun:

aber ich bekomme den Fehler "Nicht im Bereich: 'ap'."

Mit "Import Control.Monad" tut nichts. Und ich habe versucht, es

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

dann ich geben bekommen „Die Art Signatur für` ap‘fehlt eine verbindliche begleitende“

Answer 1

importieren Control.Monad sollten Sie ap geben. In allen außer den neuesten Versionen von GHC (7.6.1 und neuer) müssen Sie jedoch Control.Monad.Instances importieren, um die Monad-Instanz für Funktionen zu verwenden.

Alternativ können Sie Control.Applicative importieren, die Ihnen die <*> Betreiber gibt, die ap zu Applicative verallgemeinert, sowie die notwendigen Fällen ist es mit Funktionen zu nutzen.