Data.Extensible.Product
data h :* s
(<:)
(<:*)
(*++*)
hhead
htail
huncons
hmap
htrans
hzipWith
hzipWith3
hfoldMap
htraverse
htabulate
hlookup
sector
sectorAt
class Generate xs
generate
class Forall c xs
generateFor
fromHList
toHList