Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
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
Member (?a :: B, ?c :: B, D) r
We could even have ?a mean special type annotation in function body