Data.HList.HList
data
HList
type family
Append
(l1 :: [
*
]) (l2 :: [
*
]) :: [
*
]
hAppend
class
HInit
l1