Sun Jun 17 03:22:22 EDT 2018

Why is Applicative so powerful?


... they allow sequencing of functorial computations (unlike plain
functors) but without deciding on which computation to perform on the
basis of the result of a previous computation (unlike monads)

Example of an Applicative that is not a Monad?


... a type constructor that's Applicative but not a Monad, a very
common example would be ZipList.