リバースジェネリクスがreturnのところで型パラメータに代入してると考えるとそうなのか。