Added applicative functor example to docs. Created Monad chapter