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

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]

Ignore a certain number of values in the stream. This function is
semantically equivalent to:
`drop` is more efficient as it does not need to hold
values in memory.
Subject to fusion
Since 0.3.0

drop i = take i >> return ()However,