static L<Int> allPlus1(L<Int> l) {
  ret map(l, func(int i) -> int { i+1 });
}