Perché non monad prendere '(M a - M b)'?

Solo un suggerimento: a -> M b è più generale di M a -> M b , poiché puoi fare a -> M a in qualsiasi momento con return .

Chiamiamo le funzioni che restituiscono un valore monadico "azioni".

La firma del tipo per >>= in p >>= q dice che:

• Data un'azione nullata p che restituisce qualcosa di tipo a
• E data un'azione unaria q che prende un a e restituisce qualcosa di tipo b
• Puoi concatenarli per ottenere un'azione null che restituisce qualcosa di tipo b

Vale la pena ricordare che >>= ha una versione capovolta: =<< , che potrebbe essere più facile da capire visivamente - corrisponde all'applicazione di funzione in una monade:

($)   :: (a ->   b) ->   a ->   b
(=<<) :: (a -> m b) -> m a -> m b

Mentre $ è l'applicazione di una funzione pura a un argomento puro:

succ $ 2 + 2

=<< è l'applicazione di una funzione effetto collaterale a un argomento con effetto collaterale:

putStrLn =<< readLine

E potresti aver visto l'operatore Applicativo <$> (un alias per fmap ), che è per l'altro caso comune di pure funzioni con argomenti a effetto collaterale:

lines <$> readFile "input.txt"