What was the motivation for providing the following Applicative instance?

instance Monoid a => Applicative ((,) a) where
pure x = (mempty, x)
(u, f) <*> (v, x) = (u `mappend` v, f x)

Is this instance described in "Applicative Programming with Effects"? I didn't spot a mention.

Thanks, - Conal