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