static L<S> mapReplaceVars(final S pat, Iterable<SS> maps) {
  ret map(func(SS map) -> S { replaceVars(pat, map) }, maps);
}

static L<L<S>> mapReplaceVars(L<L<S>> patterns, final SS map) {
  ret map(func(L<S> pat) -> LS { replaceVars(pat, map) }, patterns);
}