> once you have any expectation that your users know a little bit of category theory

I don't know that's a safe assumption tbh. Try throwing them some chapter 2 exercises from any category theory textbook.

Clojure specifically elevated the status of the reduce function because of transducers, a powerful but not very intuitive (imo) approach to composing functions.