Current state (effects inference for TryWith)