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