Missing `Prod` definition in question 10 of Exercises part 2?

[gemmaro]

If I didn't overlook it, it looks like the text doesn't contain the definition of Prod that appears in question 10 of Exercises part 2.

10. Show, that the product of two applicative functors is again an applicative functor by implementing Applicative for Prod f g.

I'm guessing that it might be Product in Functor Composition or pairs of functors in question 2 of Exercises part 1.