Розглянути всі типи, які може запропонувати Scala, в тому числі спеціалізовані. Вивчити типи-одинаки, проекції типів, ланцюжки, складові, інфіксні, екзистенційні, абстрактні типи та типи вищого порядку.