HListApply2

sequence

hcons

MkEmptyK MkEq MkFoldable0 MkFunctor0 MkIterable0

hcons0

MkPure

hcons1

MkPure0

hconsL

MkConsK0

hconsR

MkConsK1

hd

Cont

hnil

MkEmptyK MkEq