HKT (Higher-Kinded Types)
Typesysteemfunctie waarmee je kunt abstraheren over typeconstructors, oftewel types die andere types als parameter nemen.
Zo wordt generiek-over-generiek mogelijk: Functor F, waarbij F elk containertype kan zijn (List, Option, Tree). Standaard in Haskell en Scala, en het fundament van typeclassabstracties als Monad, Functor en Applicative. Rust heeft geen HKT, wat tot veel discussies over ‘waarom Rust geen monaden heeft’ leidde; GATs (Generic Associated Types) dekken het merendeel van de gevallen. TypeScript mist het ook; de community wijkt uit naar de bibliotheek fp-ts.
Het afwegingsvraagstuk voor mainstreamtalen: HKT is intellectueel zuiver, maar maakt eenvoudige gevallen complexer. Rust, Swift en Carbon kiezen er bewust voor het over te slaan.