type role Sing nominal
data family Sing (a :: k)
  	-- Defined at T8674.hs:4:1
data instance Sing Bool -- Defined at T8674.hs:6:15
data instance Sing a -- Defined at T8674.hs:5:15