Экзистенциальный_тип loading ...