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