Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
https://www.tweag.io/blog/2022-01-05-polysemy-scoped/
https://www.tweag.io/blog/2022-01-05-polysemy-scoped/