added Applicative examples
added list and maybe monad examples