Generator<core.String> stringOf(core.String chars) => list(choose(chars.characters.toList())) .map((listOfChars) => listOfChars.join());