Disposal is an implicit batch

Cleanups run inside an implicit batch: effects that depend on signals a cleanup wrote are flushed before dispose() returns, unless the disposal happens inside a computation, a batch or a flush (whose own exit flushes). See ownership.