// replace all occurrences of a in s with b
sS replace_optimized(S s, S a, S b) {
  ret eq(a, b) ? s : replace(s, a, b);
}

sS replace_optimized(S s, char a, char b) {
  ret a == b ? s : replace(s, a, b);
}