+-- | String utility functions not available in some library.
+--
+module String ( trim )
+where
+
+
+-- | Strip leading/trailing whitespace, and collapse multiple
+-- consecutive spaces into one.
+--
+-- ==== __Examples__
+--
+-- >>> trim "\thello"
+-- "hello"
+--
+-- >>> trim "\n\t\nhello, world! "
+-- "hello, world!"
+--
+trim :: String -> String
+trim = unwords . words