Unlike monads, which came into programming straight from category theory, applicative functors have their origins in programming.

But are otherwise equally nonsensical...