// returns elements in order (LinkedHashSet)
static <A> Set<A> mapLike transitiveHullOfFunction_inOrder(IF1<A, Cl<A>> f, A input, O... _) {
  ret transitiveHullOfFunction(f, input, paramsPlus(_, seen := new LinkedHashSet));
}