A Higher-kinded type is something that has a "type...

# arrow

[Bob Glamm]

A Higher-kinded type is something that has a "type constructor" - basically, a type that takes type parameters, for example, List