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