Skonstruowane typ rodzajowy, który ma bez parametrów nieokreślony typ rodzajowy, własnych lub otaczający typy lub metody. Zamknięte typy rodzajowe może być utworzone.