I believe that considered iteration is interesting although, so I’d prefer to explore it additional in a different context. If control-movement effects have two sides (pure/impure, async/sync, fallible/infallible), then how many instances are we allowed to cross that border? With…