let rec tail ?(i:int=1) (l:'a list) = 
  if (i=0) then l else tail ~i:(i-1) (List.tl l)