input: 
  from typing import List
  
  def random_string(length: int) -> str:
      """
      Generate a random string of the specified length using lowercase letters.
      >>> random_string(6)
      'abcdef'  # Example output
      """
  
output:     import random
      import string
      
      return ''.join(random.choices(string.ascii_lowercase, k=length))