-instance ( HAppendable l l'
- , HList (l :++: l')
- ) => HAppendable (e :*: l) l' where
- type (e :*: l) :++: l' = e :*: (l :++: l')
- (e :*: l) .++. l' = e .*. (l .++. l')
+instance ( HList (l :++: l')
+ , HAppendable l l'
+ ) => HAppendable (HCons e l) l' where
+ type HCons e l :++: l' = HCons e (l :++: l')
+ (HCons e l) .++. l' = hCons e (l .++. l')