Added do-notation examples for Functor, Applicative and Monad combinators.

Add documentation describing the relation functorial/applicative/monadic combinators have with do notation

as <**> fs can be understood as the do expression

do a <- as
   f <- fs
   pure (f a)