片方が型引数でもう片方は型引数でない何か、ってものが存在しないんだったら1つで十分でしょ