sS addPrefixCI(S prefix, S s) {
  ret swic(s, prefix) ? s : prefix + s;
}

static IF1<S> addPrefixCI(S prefix) {
  ret s -> addPrefixCI(prefix, s);
}