これ、結局動的型情報で動いてるわけだから
intという型情報を用いた最適化も無理じゃん
stringが渡ってきたらstringの加算をやるんだろ？

静的型注釈が本気で何の役にも立ってない