có ai giỏi lý thuyết loại hình có thể cho tôi biết một số thuật ngữ hay để mô tả mẫu EnvGroup này không, nơi một nhóm env cũng là một env? như đây có phải là "functor" hay "monad" hay cái gì đó tương tự không. biểu đồ này có giao hoán không?