Egy általános típus, milyen típusú paraméterek helyőrzőként esetében, amely a felhasználó létrehozásakor használandó példányok meghatározása. Ezek a példányok nincsenek példányok típusdefiníciójában, hanem az épített típus alkotta típusargumentumok megadása.