What is the current state of development?

[Burtannia]

Greetings. I'm currently researching the issues surrounding various effect systems while I try and choose one to use as the basis for an app framework I'm building.

There seem to be a lot of old references to a V2 of Polysemy but nothing recent. Is this still in the works?

Now that the delimited continuation primops are available in GHC, is there any plan to consider using them within Polysemy?

Has there been any further progress on how to handle the issue with NonDet that are discussed in #246?

[tek]

There's currently no active development happening beyond bumping bounds and adapting to newer GHCs.
A v2 prototype was mostly finished a year ago, but we didn't have the energy to turn it into a release.
As for delimited continuations, see #467.

[Burtannia]

Thanks for the update. What sort of improvements were made in the v2 prototype?

[tek]

most notably for higher-order actions to be able to use local effects, greater flexibility of higher-order interpreters, and performance improvements.