Updates to the alternative fomrulation section of `Applicative`

http://www.haskell.org/haskellwiki/index.php?title=Typeclassopedia&action=historysubmit&diff=57662&oldid=57557