drop `n xs` returns the suffix of `xs` after the
first `n` elements, or `[]` if `n >= length
xs`.
`n` may be of any integral type.

>>> drop 6 "Hello World!" "World!" >>> drop 3 [1,2,3,4,5] [4,5] >>> drop 3 [1,2] [] >>> drop 3 [] [] >>> drop (-1) [1,2] [1,2] >>> drop 0 [1,2] [1,2]It is an instance of the more general genericDrop, in which

Drop a given number of entries in key order, beginning
with the smallest keys.

drop n = fromDistinctAscList . drop n . toAscList

Elements of a sequence after the first `i`. If
`i` is negative, `drop i s` yields the whole
sequence. If the sequence contains fewer than `i` elements, the
empty sequence is returned.

Drop a given number of elements in order, beginning with
the smallest ones.

drop n = fromDistinctAscList . drop n . toAscList

All but the first `n` elements

Drop the `n` first element of the mutable vector without making
a copy. For negative `n`, the vector is returned unchanged. If
`n` is larger than the vector's length, the empty vector is
returned.

Drop the `n` first element of the mutable vector without making
a copy. For negative `n`, the vector is returned unchanged. If
`n` is larger than the vector's length, the empty vector is
returned.

Drop the `n` first element of the mutable vector without making
a copy. For negative `n`, the vector is returned unchanged. If
`n` is larger than the vector's length, the empty vector is
returned.