input: from typing import List
  
  def merge(strings: List[str]) -> str:
      """ Merge a list of strings into one
      >>> merge([])
      ''
      >>> merge(['a', 'b', 'c'])
      'abc'
      """
output:     return ''.join(strings)