может кто-то, кто хорошо разбирается в теории категорий, рассказать мне какой-нибудь классный жаргон, который я могу использовать, чтобы описать этот паттерн EnvGroup, где группа env также является env? это «функтор» или «монада» или что-то в этом роде? диаграмма коммутирует?