型推論でどのぐらい遅くなるかってのを説明できれば、推測不能なものは型を書いてくれるようになるのかなと (edited)