iterate (i; [0...+oo]) i!;