Rakennettu yleisen tyypin, jossa yksi tai useampi yleisiä lajiargumenttien korvata sen yleisen tyypin parametri on lajiparametri aitojen yleiselle lajille tai menetelmälle. Avaa yleisiä tyyppejä ei voi vahvistaa.