// f : S -> Collection<S>
static LS mapLike functionReturningList_transitiveHull_ciSet_newOnly(O f, S input, O... _) {
  Set<S> seen = optPar seen(_, linkedCISet());
  ret asList(repeatFunctionReturningList_iterator(f, input, paramsPlus(_, +seen)));
}