{-# htermination splitAt :: Int -> [a] -> ([a], [a]) #-}