This but unironically.

monoid on the category of endofunctors rule

I’m mildly curious about the OG post. Not curious enough to Google though.

Having access to functional paradigms in an imperative language is where it’s at

as a recent convert to haskell I absolutely love this