We could remove https://github.com/IntersectMBO/io-classes-extra/blob/aee49dd2ebc363f8835534d4f111cf026d99f24d/resource-registry/src/Control/ResourceRegistry.hs#L1492 simply by using a newtype in the `registryAges` field. Seems worth it, in my opinion.
We could remove
io-classes-extra/resource-registry/src/Control/ResourceRegistry.hs
Line 1492 in aee49dd
registryAgesfield. Seems worth it, in my opinion.