ジェネリックパラメータ型はORTの固定型として使えるということか。具体性を消去できる。