input: def concatenate_strings(string1: str, string2: str) -> str:
      """
      This function takes two strings as input and concatenates them with a space in between.
  
      >>> concatenate_strings("Hello", "World")
      'Hello World'
      """
      return string1 + " " + string2
output:     return string1 + " " + string2