problem about klist-Collection of common programming errors

• 
  ib84
  scala typelist hlist shapeless klist
  I discovered HList / KList, they are pretty cool. I have an actual use case, in which heterogenously typed and variable length containers with conserved type information would be very useful (for more info, see background below). However, I haven’t understood the usage of a H/KList as method parameter, where I’m forced to fully type-annotate the parameter or loose type information. Can H/KLists even be used as a parameter, if the full type is, of course, not known? How to refer to a H/KList wit

Web site is in building