input: def sum_list(lst: List[int]) -> int:
      """ Takes a list of integers and returns the sum of all elements in the list.
      >>> sum_list([1, 2, 3, 4, 5])
      15
      >>> sum_list([10, 20, 30])
      60
      """
output:     return sum(lst)