let drop_while t ~f = snd (split_while t ~f)