def add_lists(list1: List[int], list2: List[int]) -> List[int]: """Return a list of sums of elements at corresponding indices in list1 and list2.