input: from typing import List
  
  def sum_list(lst: List[int]) -> int:
      """Sum all elements in a given list of integers.
      >>> sum_list([1, 2, 3, 4, 5])
      15
      """
output:     total = 0
      for num in lst:
          total += num
      return total