Você pode encontrar o seguinte na web:

Tipo maior de tipo == construtor de tipo?

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

lguns dizem que esse é um tipo de classificação mais alta, porque abstrai sobre tipos que seriam compatíveis com a definiçã

Tipos de tipos mais elevados são tipos que pegam outros tipos e constroem um novo tipo

Esses também são conhecidos comotype constructor. (Por exemplo, emProgramação em Scala).

Tipo de classificação mais alto == construtor de tipo que usa o construtor de tipo como um parâmetro de tip

No papelGenerics of a Higher Kind, você pode le

... tipos que abstraem sobre tipos que abstraem sobre tipos ('tipos maiores') ... "

que sugere que

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

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

é um tipo de classificação superio

Portanto, com isso em mente, é difícil distinguir entretype constructor, ipo mais alto etype constructor que usa construtores de tipo como parâmetro de tipo, portanto, a pergunta acim