Di que tengo un rasgoShow[T] como el de Scalaz:https://github.com/scalaz/scalaz/blob/scalaz-seven/core/src/main/scala/scalaz/Show.scala#L9

También tengo un sin formaHList que puede parecer"1" :: 2 :: 3L :: HNil.

¿Hay alguna manera de encontrar elShow instancia para cada elemento y aplicarshows tal que termino con"1" :: "2" :: "3L" :: HNil?

Si algún elemento fuera de un tipo que no tuviera implícitoShow instancia en el alcance Me gustaría un error de compilación.

Creo que si construyo unHList delShow instancias que debería poder usarzipApply para obtener elHList Quiero, pero no sé si hay una manera de hacer que Scala infiera elHList deShow instancias en lugar de mí construyéndolo a mano.