Sagen Sie, dass ich ein Merkmal habeShow[T] wie der in Scalaz:https://github.com/scalaz/scalaz/blob/scalaz-seven/core/src/main/scala/scalaz/Show.scala#L9

Ich habe auch einen ShapelessHList das könnte so aussehen"1" :: 2 :: 3L :: HNil.

Gibt es eine Möglichkeit, die zu finden?Show Instanz für jedes Element und geltenshows so dass ich am Ende mit"1" :: "2" :: "3L" :: HNil?

Wenn ein Element von einem Typ war, der kein implizites Element hatteShow Beispiel im Geltungsbereich möchte ich einen Kompilierungsfehler.

Ich denke das wenn ich eine aufbaueHList desShow Instanzen sollte ich nutzen könnenzipApply um das zu bekommenHList Ich will, aber ich weiß nicht, ob es eine Möglichkeit gibt, Scala dazu zu bringen, das abzuleitenHList vonShow Instanzen, anstatt dass ich sie von Hand aufbaue.