What if duck types are unions of all the ducklings

If the duck typed types were actually unions of all the ducklings then it would fix a bunch of edge cases that arise.
And would make this feature more easily understood and discovered.

def func1(c: complex):
    reveal_type(c)  # float | int | complex

def func2(f: float):
    reveal_type(f)  # float | int

def func3(b: bytes):
    reveal_type(b)  # bytes | bytearray | memoryview

def func4(u: unicode):  # python 2 moment
    reveal_type(u)  # unicode | str

edge cases:

def func(f: float):
    f.is_integer()  # error: int has no member "is_integer"

def func(f: float):
    if not isinstance(f, float):
        print("hi")  # no 'unreachable code' error
        reveal_type(f)  # int | complex

It would also be useful to have type types for float and bytes, when you want exactly float and don't want any stinking ints.

Related #11511, #11145

この issue の例から始め、提案されている union のセマンティクスを関連する issue #11511 および #11145 と比較してください。正確な float 型および bytes 型や isinstance による絞り込みを含め、duck typing された型がどのように振る舞うべきかを解決してください。合意された設計と、それに対応する型チェッカーの動作があれば完了です。