HListApply2

sequence

hcons

MkEmpty MkEmptyK MkEq MkFoldable0 MkFunctor0 MkIterable0 MkMonoidK MkSemigroup MkSemigroupK

hcons0

MkPure

hcons1

MkPure0

hconsL

MkConsK0

hconsR

MkConsK1

hd

Cont

hnil

MkEmpty MkEmptyK MkEq MkMonoidK MkSemigroup MkSemigroupK