如何写A :: B :: C => D给定A :: B :: C和（A，B，C）=> D？

Question

假设我有一个HList类型A :: B :: C和函数(A, B, C) => D。如何用最简单，最习惯的方式编写函数A :: B :: C => D？

Answer 1

有方法toProduct在syntax.std.function：

import shapeless._ 
import syntax.std.function._ 
def testf(d: Double, l: Long, i: Int): String = s"$d, $l, $i" 

(testf _).toProduct 
// Double :: Long :: Int :: HNil => String = <function1> 

见Feature overview: shapeless 2.0.0/Facilities for abstracting over arity。