Named effects - Polysemy

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

TheMatten

One more idea for named effects - we could write Member (?a :: B, ?c :: B, D) r, reusing ImplicitParams syntax, allowing one to write effect without name more easily

TheMatten

We could even have ?a mean special type annotation in function body