When we moved on to The Essence of the Iterator Pattern,
we found that Cats uses
Const to represent
monoidal applicatives like
Int, but it’s currently missing
a way to compose applicative functions.
We started with a datatype called
that represents a pair of
then we also added
AppFunc that represents applicative functions.