Dynamische Parametrisierung der Poly1-Funktion in Shapeless

Ich habe diese Situation (auf die wesentlichen Teile reduziert) class Foo[L <: HList](columns: L) { class toRecord(row: Row) extends Poly1 { implicit def caseColumn[T] = at[Column[T]] { /* map to a record field */ } } def asRecord = { val ...