Каким образом реализована концепция обобщённых типов и какова их жизненная стратегия в языке программирования?