In this chapter, we covered the type system and polymorphism. We also covered the different types of variance which provide a way to constrain parameterized types. Finally, we covered some advanced types such as abstract type members, option, and so on.

In the next chapter, we will cover implicits, which will make working with external libraries more pleasant. We will cover implicit conversions and finally cover ad hoc polymorphism through the use of type classes.