Data.String: Remove extra whitespaces