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

All but the first `n` elements

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

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

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

Ignore a certain number of values in the stream.
Note: since this function doesn't produce anything, you probably want
to use it with (>>) instead of directly plugging it into
a pipeline:

>>> runConduit $ yieldMany [1..5] .| drop 2 .| sinkList [] >>> runConduit $ yieldMany [1..5] .| (drop 2 >> sinkList) [3,4,5]