ああ、それがgeneric functionのシグネチャとして表記できるか、ということですね。