:: [a] -> Int -> ([a], [a]) package:utility-ht

splitAtRev :: Int -> [a] -> ([a], [a])
utility-ht Data.List.HT
splitAtRev n xs == (dropRev n xs, takeRev n xs). 
\n xs -> splitAtRev n (xs::String) == (dropRev n xs, takeRev n xs)

\n xs -> (xs::String) == uncurry (++) (splitAtRev n xs)