static L<Int> iotaList(final int n) {
  ret intRangeList(1, n+1);
}