input: 
  def construct_student_marks_dict(student_names: List[str], marks: List[int]) -> dict:
      """
      Construct a dictionary with student names as keys and their corresponding
      marks as values.
      >>> construct_student_marks_dict(["John", "Levi", "Jill", "Sara"], [90, 85, 95, 75])
      {'John': 90, 'Levi': 85, 'Jill': 95, 'Sara': 75}
      """
      return {name: mark for name, mark in zip(student_names, marks)}
  
output:     return {name: mark for name, mark in zip(student_names, marks)}