make type annotations on overload implementation signature optional

[KotlinIsland]

Feature
I want to be able to do this:

@overload
def foo(a: int) -> int: ...
@overload
def foo(a: str) -> str: ...
def foo(a): ...  # inferred as (a: int | str) -> int | str

I think I might develop RSI if I have to implement too many more overload signatures, making the type annotations optional on the implementation might ease my wrist pain a little.