I think you can think of applicative like specifying the abstract syntax tree for the operation you want to perform and then giving it to an evaluator, as oppos

I think you can think of applicative like specifying the abstract syntax tree for the operation you want to perform and then giving it to an evaluator, as opposed to a monad where you code the implementation more directly, but deliver it opaquely as a lambda to the system.