だーかーらー、その話は>>897でもう終わってんの
どうしても単相型の関数を書きたきゃ

@typecheck
def f(x:int, y:int) -> int: return x + y

みたいなデコレータを定義して使えばいいだけの話