Trait supporting mapping dynamic argument lists of Ints to HList of Nat arguments.
Mixing in this trait enables method applications of the form,
lhs.method(1, 2, 3)
to be rewritten as,
lhs.methodProduct(_1 :: _2 :: _3)
ie. the arguments are rewritten as HList elements of Nat and the application is
rewritten to an application of an implementing method (identified by the
"Product" suffix) which accepts a single HList of Int argument.
Trait supporting mapping dynamic argument lists of Ints to HList of Nat arguments.
Mixing in this trait enables method applications of the form,
to be rewritten as,
ie. the arguments are rewritten as HList elements of Nat and the application is rewritten to an application of an implementing method (identified by the "Product" suffix) which accepts a single HList of Int argument.