static L<Pair<S>> pairsToLower(Collection<Pair<S>> l) {
  ret map pairToLower(l);
}