+-- | A value of type 'UniqSupply' is unique, and it can
+-- supply /one/ distinct 'Unique'. Also, from the supply, one can
+-- also manufacture an arbitrary number of further 'UniqueSupply' values,
+-- which will be distinct from the first and from all others.