Saitama
по ощущениям, была долгая подготовка к реализации HKD, потом сама реализация, и в конце быстрые примеры использования.
там же суть в самом начале, когда
Foo[F[_]] написал уже есть HKD, а остальное - про то, что можно фичи на автомате получать
и пару примеров, как это автоматическое получение можно соорудить