input: def concatenate_strings(string1: str, string2: str) -> str:
      """ Concatenate two strings with a single space in between and return the result.
      >>> concatenate_strings("Hello", "World")
      'Hello World'
      >>> concatenate_strings("Goodbye", "Friend")
      'Goodbye Friend'
      """
output:     return string1 + " " + string2