specializeできるケースって、ジェネリック関数で問題ないケースな気が。