updated notes on Applicative