Handling Nested Loops in Effectful Programs - Effect Community