Data.HList.HList

data HList

type family Append (l1 :: [*]) (l2 :: [*]) :: [*]

hAppend

class HInit l1