Data.Singletons.TypeRepStar

data family Sing (a :: k)