Future of roles for GADT-like type variables?

Question

A question from yesterday had a definition of HList (from the HList package) that uses data families. Basically:

data family HList (l :: [*])
data i