Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
https://github.com/re-xyr/cleff/issues/2
https://github.com/re-xyr/cleff/issues/2