let drop t n = snd (split_n t n)