Applicative functors, or applicatives for short, are like functors, except they can apply more than one parameter. They do so by currying the function, and applying one parameter at a time (see Curry)

Simple module for currying functions

Functors are mappings or homomorphisms between categories –Wikipedia

Monads are structures that represent computations as sequences of steps. –[Wikipedia](https://en.wikipedia.org/wiki/Monad_(functional_programming)

A behaviour that provides the common code for monads

A monad that represents something or nothing

Convenient, but optional, operators for working with Functors, Applicatives, and Monads

The reader monad is great for situations when you need to share some environment or state between several operations

A monad that represents success and failure conditions

Like Monad.Reader, the state monad can share an environment between different operations. Additionally, it can store an arbitrary value

The writer monad keeps track of a calculation and a “log”

Monoids have two principle operations: empty/zero and append