empty_string :: String
empty_string = _