Yleinen tyyppi, jonka yleisen tyypin parametri on määritetty. Rakennettu tyypillä tai menetelmällä voi olla avoinna yleisen tyypin, jos jotkin sen argumentteja ovat lajiparametreja aitojen tyyppeihin tai menetelmiin tai suljettu yleinen tyyppi jos kaikkien argumenttien tyyppi on todellinen.