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."
