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