let skip_whilei xs ~f =
  drop_whilei xs ~f ;
  from (fun _ -> next xs)