Chapter 19: Subtyping
This chapter is about subtyping, where we allow a value of type A to be used where one of type B is required.