[Haskell-cafe] Is it possible to change the environment (reader) in applicative style?

Rodrigo Stevaux roehst at gmail.com
Tue Sep 25 00:00:36 UTC 2018

Hi, I found a paper from the Greats exactly about desugaring monads
into applicatives:

  The type of >>= allows the second computation (f b) to depend on
  the result a of the first, whereas <*> does not. This is the essence
  of the difference between Monad and Applicative; Monad allows
  dependencies on previous results, whereas Applicative does not.

"Desugaring Haskell’s do-Notation into Applicative Operations" by
marlow, SPJ, kmett and mokhov

More information about the Haskell-Cafe mailing list