ジェネリックなメソッドに型特化実装を書ける、っていう理解で合ってる？