Что такое HKT (Higher-Kinded Types) эмуляция в TypeScript?

Higher-Kinded Types (HKT) — это типы, параметризованные другими типами-конструкторами (не конкретными типами). TypeScript нативно их не поддерживает: нельзя написать type Apply<F, A> = F<A>. Но можно эмулировать HKT через интерфейсы с placeholder-полем и трюк с declaration merging или через паттерн type-class dictionary. Это нужно для абстракций вроде Functor, Monad, Traversable.