You mean algebraic effects? Can you link to more about how the specifically enable better memory management? I always though that would require linear types (at least Rust-like memory management - I see how effects would enable memory-pool / stack-like memory management).