Элемент 'система типов и эффектов'