https://rpeszek.github.io/posts/2021-06-28-polysemy-arrows.html
I have done some proof of concept work that adds arrows to polysemy.
This is useful form the syntactic point of view as this creates arrow DSLs that are really monads in arrow’s clothing.