input: from typing import List
  
  def generate_random_password() -> str:
      """ Generates a random password using a predefined set of letters, numbers, and special characters.
      >>> generate_random_password() # Example output: 'aB3$8jK*'
      """
output:     import random
      import string
  
      characters = string.ascii_letters + string.digits + string.punctuation
      password = ''.join(random.choice(characters) for _ in range(8))
      return password