Clarify currying impact on applicative
Typos
Clarify m=>f note
Use semicolon
Add category theory link, note about monoid/monad