p_newName_valid :: NonNegative Int -> Property
prop_newName_valid (NonNegative n) =
  let n'    = min n 100
      names = evalGraphState (replicateM n' newName)
  in  printNames names $ all nameIsValid names

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