型推論のどういうメリットを期待してる?