{-# htermination unlines :: [String] -> String #-}