Lesson 2: You got monoids in my functors!

In the previous lesson, we saw that there are times when you need the power of fmap except that your function is also embedded in the functorial context, and we learned that the typeclass that generalizes the solution to that problem is called Applicative. However, we’ve only scratched the surface of this typeclass so far. In this lesson, we will first get a deeper appreciation of the functoriality of applicatives, then we’ll give more attention to the other functions provided by this class (and/or derivable from those) and take a look at the connection between Applicative and monoids.