KnownUniques
knownUniqueName
Unique
Name
mkSumTyConUnique
mkSumDataConUnique
mkTupleTyConUnique
mkTupleDataConUnique
mkCTupleTyConUnique
mkCTupleDataConUnique