#::
scala
+
HCons
++
HCons
HList
+:
scala
:+
scala
::
HCons
HList
HList
HNil
scala