Data.Vector.Heterogenous
data HVector box xs
vec
class View vec i ret
class ValidHVector box xs
toHList