We present and report about early work-in-progress developing a library for algebraic effects and handlers with resumptions structured after Kripke possible-world semantics. The resulting abstraction can express dynamic allocation effects such as dynamically allocated full ground reference cells and handlers that manipulate these references as non-dangling references on a heap. We will demonstrate our implementation in Brady’s dependently-typed Idris~2, and describe its future directions and prospects to advanced mutable-to-immutable data-structure transformation, dynamically allocated thread schedulers, functional-logic programming, and constraint solving.