drop n xs returns the suffix of
xs after the
first
n elements, or
[] if
n >= length
xs.
It is an instance of the more general
genericDrop, in which
n may be of any integral type.
Examples
>>> 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]