Category Theory: Why Applicative?