Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
A higher-order effect system where the sky's the limit