This is default behaviour on State - it propagates state changles for Kleisli morphisms and tensorial natural transformations.
If you don't want to propagade state changes - use Lease behaviour.