from typing import Union def f(x : Union[int, float]): if isinstance(x, float): print("b", x) elif isinstance(x, int): print("a", x) with --warn-unreachable returns ...

For the user an explicit type casting is necessary and in some cases it is even worse because the user can be lead to assume that a floating point object is not accepted which ... cast to the ...