スペシャライズに期待しないで型パラメータが特定の型のときの実装を明示的に書いておくと、特定の型のときは必然的にスペシャライズされた実装が使われる裏技だけど、事前に用意した型にしか効かないし、型パラメータが多いとその組み合わせになって現実的に無理ってことですね