empty_string :: String
empty_string = ""