A concept from type theory that allows types to take other types as parameters.

"HKTs are not directly supported in some programming languages, but they are crucial in the study of advanced type systems and functional programming."