型推論が通らなくなるから、完全省略が出来なくなるよ