input: def generate_random_password() -> str:
      """Generate a random password of length 8, which consists of alphanumeric characters and at least one special character.
      >>> len(generate_random_password())
      8
      >>> any([char in string.punctuation for char in generate_random_password()])
      True
      """
output:     import random
      import string
  
      password = [random.choice(string.ascii_letters + string.digits) for _ in range(6)]
      password.append(random.choice(string.punctuation))
      random.shuffle(password)
      return ''.join(password)