Improved ghc totality checking in action - Polysemy

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.