In this chapter, we understood how to define and use generics. We also understood what type of problems generics solve. Then we explored type constraints, generic data structures, and associated type protocols with examples. Generics are great tools that, when accustomed to, make our code more flexible, useful, and robust, so we will use them a lot in the rest of our book.

In the following chapter, we will be introduced to some category theory concepts such as functors, applicative functors, and monads. We will also explore higher-order functions such as map, filter, and reduce.