ORTあるとかなり型消去考えずに済むの良いですね