drop +bytestring
O(1) drop n xs returns the suffix of xs after the first n elements, or [] if n > length xs.
O(n\c)/ drop n xs returns the suffix of xs after the first n elements, or [] if n > length xs.
A variety of drop which omits the checks on n so there is an obligation on the programmer to provide a proof that 0 <= n <= length xs.