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.
- 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.
If I didn't overlook it, it looks like the text doesn't contain the definition of
Prodthat appears in question 10 of Exercises part 2.I'm guessing that it might be
Productin Functor Composition or pairs of functors in question 2 of Exercises part 1.