KnownUniques

Looking up known-key names

knownUniqueName

Getting the Uniques of Names

Anonymous sums

mkSumTyConUnique

mkSumDataConUnique

Tuples

Vanilla

mkTupleTyConUnique

mkTupleDataConUnique

Constraint

mkCTupleTyConUnique

mkCTupleDataConUnique