static PairS pairOfRestAndNLast(S s, int n) {
  ret pair(dropLast(n, s), takeLast(n, s));
}