Скажи, что у меня есть чертаShow[T] такой как тот в Скалазе:https://github.com/scalaz/scalaz/blob/scalaz-seven/core/src/main/scala/scalaz/Show.scala#L9

У меня тоже есть бесформенныйHList это может выглядеть"1" :: 2 :: 3L :: HNil.

Есть ли способ найтиShow экземпляр для каждого элемента и применитьshows так что я в конечном итоге"1" :: "2" :: "3L" :: HNil?

Если какой-либо элемент имел тип, который не имел неявногоShow экземпляр в области я хотел бы ошибка компиляции.

Я думаю, что если я создамHList изShow случаи, когда я должен быть в состоянии использоватьzipApply чтобы получитьHList Я хочу, но я не знаю, есть ли способ получить Scala сделать выводHList изShow случаи, а не я строю это вручную.