sS replaceFirstPart(S a, S b) {
  int n = min(l(a), l(b));
  ret takeFirst(a, n) + substring(b, n);
}