It's really the add function, strangely, which is monadic here.

Or the whole thing is an applicative if you take at face value his claim that add is pure.