Are variable type annotations useful everywhere?

For example:

def some_func(num: int) -> str:    var1: str = other_func(num)    var2: str = 'hi'    return var2 + var1

Is it OK to do annotations for inside variables (var1, var2) or are they redundant? Are there any conventions, or standards for such situations?