What blew my mind about the ST monad is that despite its promise of single-threading, it still allows for recursive division of labor.

I was like, "Wait. Wait. Waaaiiiitt. How does it do that?"