This but unironically.

monoid on the category of endofunctors rule

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

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

as a recent convert to haskell I absolutely love this