1 -- | String utility functions not available in some library.
7 -- | Strip leading/trailing whitespace, and collapse multiple
8 -- consecutive spaces into one.
15 -- >>> trim "\n\t\nhello, world! "
18 trim :: String -> String
19 trim = unwords . words