input: from typing import List
  
  def generate_random_number(numbers: List[int]) -> int:
      """ Generate a random number between 0 and 9.
      >>> generate_random_number([])
      5
      >>> generate_random_number([1, 2, 3, 4, 5, 6, 7, 8, 9])
      8
      """
      import random
      return random.randint(0, 9)
output:     if numbers:
          return random.choice(numbers)
      else:
          return random.randint(0, 9)