// f : Matcher -> S
sS regexpReplaceIC(S s, S pat, O f) {
  ret regexReplaceIC(s, pat, f);
}

sS regexpReplaceIC(S s, S pat, S replacement) {
  ret regexReplaceIC(s, pat, replacement);
}

sS regexpReplaceIC(S s, S pat, IF1<Matcher, S> f) {
  ret regexReplaceIC(s, pat, f);
}