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
ImplicitParams
We could even have ?a mean special type annotation in function body
?a
One more idea for named effects - we could write
Member (?a :: B, ?c :: B, D) r
, reusingImplicitParams
syntax, allowing one to write effect without name more easilyWe could even have
?a
mean special type annotation in function body