You already have something like this (production ready) through effect systems in Haskell (ex. https://hackage.haskell.org/package/effectful https://hackage.has

You already have something like this (production ready) through effect systems in Haskell (ex. https://hackage.haskell.org/package/effectful https://hackage.haskell.org/package/effectful)