型書いたらちゃんと最適化してくれる？
関数の入り口に型書いたらちゃんとその型以外はブロックしてくれる？
気になって夜も練れません