:: C :: HNil, как можно получить на уровне типов F[A] :: F[B] :: F[C] :: HNil и наоборот?
Applicative.pure?
Через определение Poly функции A => F[A] и применения её на hlist
один из вариантов https://github.com/milessabin/shapeless/blob/master/core/src/main/scala/shapeless/ops/hlists.scala#L2877
Обсуждают сегодня