input: 
  def extract_08_numbers(phone_numbers: List[str]) -> List[str]:
      """ Extracts and returns a list of phone numbers that start with '08'.
      >>> extract_08_numbers(['0834567', '0945678', '07123456', '08901234', '07890123'])
      ['0834567', '08901234']
      """
      return [number for number in phone_numbers if number.startswith('08')]
  
output:     return [number for number in phone_numbers if number.startswith('08')]