構築ジェネリック型(A generic type whose generic type parameters have been specified. A constructed type or method can be an open generic type if some of its type arguments are type parameters of enclosing types or methods, or a closed generic type if all of its type arguments are real types)