sinterface VarMaker extends IF0<S> {
  void addTaken(S s);
}