In type theory and Haskell, an entity that specifies a type in terms of parameters; equivalently, a paramaterized data type
You can find the following on the web: Higher kinded type == type constructor? class AClass[T]{...} // For example, class List[…
scala generics types higher-kinded-types type-constructor