При более глубоком погружении в Scala я попал в термин class. Это сбило с толку, потому что класс - это тип, и тип может быть классом по Scala, а "тип" и "класс" сами по себе являются абстрактными терминами.
После прочтения некоторых примеров у меня появилось ощущение, что класс типа может но, может быть, есть более простой подход, чтобы получить психический крюк. (картинка, концепция) к тому, что такое класс типа, объясняя, почему он имеет были названы так.