Example for withWeavingToFinal - Polysemy

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Georgi Lyubenov // googleson78

https://github.com/polysemy-research/polysemy/issues/73#issuecomment-708170100

Let's give this as an example somewhere in polysemy. Maybe mentioning MonadUnliftIO
A wiki like in-other-words? Directly in the documentation for Final? In the README?

#36 talks about interop with mtl, but could we also support MonadUnliftIO? I haven't tried anything at all yet, just raising this from the lack of instance MonadUnliftIO (Sem r). I mostly need ...