Data.Singletons.TypeRepStar

data family Sing a