:: [a] -> Int -> ([a], [a]) package:vector

O(1) Yield the first n elements paired with the remainder, without copying. Note that splitAt n v is equivalent to (take n v, drop n v), but slightly more efficient.