[Haskell-cafe] "Identifier" generators with QuickCheck