回答ありがとうございます！どちらか一方をちゃんと指定すれば、もう片方は型推論で決まってくれるんですね