:: [a] -> Int -> ([a], [a]) package:mixed-types-num