Data.Type.Combinator.Singletons
prodSing
singProd
singLength
boolSing
singBool
data family Sing k (a :: k) :: *
type SN
type ZSym0
data SSym0 l
type SSym1 t
natSing
singNat
parSing
singPar
choiceSing
singChoice
optionSing
singOption