In this section, we are going to learn some advanced type system features such as generic types, mapped types, and lookup types.
