alguém que é bom em teoria das categorias pode me dizer algum jargão legal que eu possa usar para descrever esse padrão EnvGroup onde um grupo de envs também é um env? como se isso fosse um "functor" ou uma "mônada" ou alguma merda. O diagrama comuta?