static PairS pairOfNFirstAndRest(S s, int n) {
  ret pair(takeFirst(n, s), dropFirst(n, s));
}