Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Some of the more scary corners of the typesystem are most eagerly taken up by, not pointy-headed academics, but by hairy-chested industrial programmers.