p_newName_unique :: NonNegative Int -> Property
prop_newName_unique (NonNegative n) =
  let n'    = min n 100
      names = evalGraphState (replicateM n' newName)
  in  printNames names $ numUniques names == n'

p
prop_newName_unique :: NonNegative Int -> Property
prop_newName_unique (NonNegative n) =
  let n'    = min n 100
      names = evalGraphState (replicateM n' newName)
  in  printNames names $ numUniques names == n'
prop_newName_unique (NonNegative n) =
  let n'    = min n 100
      names = evalGraphState (replicateM n' newName)
  in  printNames names $ numUniques names == n'