drop : ∀{l}{A : Set l}(n : ℕ) -> List A -> List A
drop zero xs = xs
drop (suc n) xs = drop n xs