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