input: from typing import List
  
  def wish_holidays(greetings: List[str]) -> List[str]:
      """ Modify the given list of greetings to print 'Happy Holidays' 10 times.
      >>> wish_holidays(['Hello World'] * 10)
      ['Happy Holidays'] * 10
      """
output:     return ['Happy Holidays'] * 10