Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
https://github.com/polysemy-research/polysemy/pull/348/files#diff-37caf0e29e09ddb6f6dd4c874a4eaa8cL266
https://github.com/polysemy-research/polysemy/pull/348/files#diff-37caf0e29e09ddb6f6dd4c874a4eaa8cL266