Когда я погружаюсь глубже в Scala, я нажимаю термин type class. Это сбивало с толку, потому что класс - это тип и тип быть классом в Scala и "type" и "class" сами по себе являются абстрактными терминами.
После прочтения некоторых примеров я понял, что тип класса может быть, но, возможно, есть более простой подход, чтобы получить мысленный крючок (картинка, концепция) тому классу классов, объясняя, почему был назван так.
В Haskell нет классов в смысле Java/ Scala, поэтому этот термин был свободен для использования (в смысле "класс типов", как говорит Йоханнес Вейс).
Он не используется в официальной документации Scala, но люди, прибывающие из Haskell, обнаружили, что они могут эмулировать классы типа Haskell в Scala и повторно использовать имя.
Потому что он классы (вместе) типа "имеет" общие операции набора, определенные классом типа?
Мне кажется очень естественным.