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

そんな気がしてきた