Have you seen my effect system Bluefin? It sounds like exactly what you're describing: https://hackage-content.haskell.org/package/bluefin-0.0.16.0/docs/Bluefi

Have you seen my effect system Bluefin? It sounds like exactly what you're describing: https://hackage-content.haskell.org/package/bluefin-0.0.16.0/docs/Bluefin.html https://hackage-content.haskell.org/package/bluefin-0.0.16.0... Happy to answer any questions about it, either here, or if you open an issue: https://github.com/tomjaguarpaw/bluefin/issues/new https://github.com/tomjaguarpaw/bluefin/issues/new