Genel tür parametresi için belirtilen türlerini sınırlayan bir yolu. Örneğin, tür parametresi için yerine türleri bir parametresiz oluşturucu sağlamak için belirli bir arabirim uygulamak için belirli türden türetme için kısıtlı ve benzeri.