Рассмотреть все типы, которые может предложить язык Scala, в том числе специализированные. Изучить типы-одиночки, проекции типов, цепочки, составные, инфиксные, экзистенциальные, абстрактные типы и типы высшего порядка.