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

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