Можете объяснить механизм функционирования обобщённых типов в языке программирования?