let iPlus1 ?(n=n) = function i when i=n -> i | i -> i+1