added applicative example, variable args to monad
license