reverse_string str = rev len str
  where len = length str
        rev 0 str = ""
        rev n str = toString (str : nn) +> rev nn str
          where nn = n - 1

reverse_string "Hello"