жете найти следующее в Интернете:

Тип с более высоким родом == Конструктор типа?

class AClass[T]{...} // For example, class List[T]

Некоторые говорят, что это тип с более высоким родом, потому что он абстрагируется от типов, которые будут соответствовать определению.

Высшие родовые типы типы, которые принимают другие типы и создают новый тип

Они также известны какконструктор типа, (Например, вПрограммирование в Scala).

Тип с более высоким родом == конструктор типа, который принимает конструктор типа в качестве параметра типа?

В газетеДженерики высшего сорта, ты можешь читать

... типы, которые абстрагируются над типами, которые абстрагируются над типами («типы с более высоким родом») ... "

что говорит о том, что

class XClass[M[T]]{...} // or

trait YTrait[N[_]]{...} // e.g. trait Functor[F[_]]

является более родственным типом.

Поэтому, учитывая это, трудно различитьконструктор типа, выше родственный тип а такжеконструктор типа, который принимает конструкторы типа в качестве параметра типапоэтому вопрос выше.