Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Higher-order, no-boilerplate, zero-cost monads