static F0<S> abcDollarVarMakerWithoutTaken(final Set<S> taken) {
  final ItIt<S> it = filterIterator(allWordsOfLowerCaseAlphabet(),
    func(S s) -> bool { taken.contains(s) });
  ret func -> S { it.next() };
}