>>691
引数の型で明らかに決まるんなら、戻り値の型を引数の型引数から導出される型として表現できるはずでしょ