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

Split at the given index. Equivalent to (take n xs, drop n xs) and therefore total.