input: def construct_student_marks(names: List[str], marks: List[int]) -> dict:
      """
      Construct a python dictionary containing student names and marks as key-value pairs.
  
      >>> construct_student_marks(["John", "Levi", "Jill", "Sara"], [90, 85, 95, 75])
      {'John': 90, 'Levi': 85, 'Jill': 95, 'Sara': 75}
      """
      return {names[i]: marks[i] for i in range(len(names))}
output:     return {names[i]: marks[i] for i in range(len(names))}