More specifically: https://github.com/fsharp/fslang-suggestions/issues/243#issu...

I particularly like the comment: "I don't want F# to be the kind of language where the most empowered person in the discord chat is the category theorist."