関数の型を決め打ちする糖衣構文はほしいなぁ。

def foo(arg: int):
pass
を
def foo(arg):
if not isinstance(int): raise TypeError
に置き換える感じの。