| 1 | effect/Pool#Pool: |
| 2 | replacement: "Pool.Pool" |
| 3 | note: "The model remains but is now Pipeable rather than an Effect subtype; borrow resources explicitly with Pool.get." |
| 4 | effect/Pool#Pool.Variance: |
| 5 | replacement: "none" |
| 6 | note: "The public Pool variance marker was removed; use Pool.Pool directly." |
| 7 | effect/Pool#PoolTypeId: |
| 8 | replacement: "none" |
| 9 | note: "The Pool type id is internal in v4; use Pool.isPool for runtime refinement." |
| 10 | effect/Pool#PoolUnify: |
| 11 | replacement: "none" |
| 12 | note: "Pool is no longer an Effect subtype, so its Effect unification helper was removed; call Pool.get explicitly." |
| 13 | effect/Pool#PoolUnifyIgnore: |
| 14 | replacement: "none" |
| 15 | note: "Pool is no longer an Effect subtype, so its Effect unification ignore marker was removed." |