static L<Int> countTo(int n) {
  L<Int> l = emptyList(n);
  for (int i = 1; i <= n; i++) l.add(i);
  ret l;
}