Free-like data structure:

This is just the free monad on EnvT [] I guess my construction is just not that common, and doesn’t really have a deep meaning in category theory.