>In existing languages, where there is no way to distinguish between multiple execution phases, it is impossible to naturally represent this idea that an object

>In existing languages, where there is no way to distinguish between multiple execution phases, it is impossible to naturally represent this idea that an object has methods that can only be executed from within a specific execution phase My category theory is pretty rudimentary, but isn’t this a good use case for a monad?