You could annotate both x and y as int. And you can annotate the return value from bar as a string. But how can you annotate the return value from foo? Given that, as shown above, functions are of ...