Data.Singletons.TypeRepStar
data family
Sing
(a :: k)