Scoped Type
A scope: something effects run in for a while, which is disposed when they are done, such as a transaction or a unit of work.
A scope: something effects run in for a while, which is disposed when they are done, such as a transaction or a unit of work.