This is not how we think of strings nowadays. In Mita strings are first-class citizens, meaning that they feel like strings on other languages. You can simply initialize a variable with them, append them, pass them to a function and return them from one.
reports an error
So, with this magic "infer", how could strings be used as function argument as stated in
types - string