{-# htermination insert :: Int -> [Int] -> [Int] #-} import List