può qualcuno che è esperto in teoria delle categorie dirmi qualche gergo interessante che posso usare per descrivere questo pattern EnvGroup dove un gruppo di env è anche un env? tipo è un "functor" o un "monad" o qualcosa del genere. il diagramma commuta?