Чи може хтось, хто добре розбирається в теорії категорій, розповісти мені якийсь крутий жаргон, який я можу використовувати для опису цього шаблону EnvGroup, де група envs також є env? Начебто це "функтор" або "монада", або якесь лайно. Чи комутує діаграма?