input: Write a python function to reverse a string.
  assert reverse("Hello world!") == "!dlrow olleH"
  assert reverse("Python") == "nohtyP"
  assert reverse("12345") == "54321"
output: def reverse(s: str) -> str:
      return s[::-1]