let drop xs ~n =
  drop_whilei xs ~f:(fun j _ -> j < n)