{-# htermination reverse :: [a] -> [a] #-}