input: 
  from typing import List
  
  def add_marks(marks: List[int], mark: int) -> List[int]:
      """ Add a given mark to each element in the marks list.
      >>> add_marks([87, 56, 99, 54], 4)
      [91, 60, 103, 58]
      """
      return [m + mark for m in marks]
  
output:     return [m + mark for m in marks]