Какой механизм управления типами применим к обобщенным типам в языках программирования?