I wrote a very hot take about how monads are inferior to function arguments for effect control.

Honestly it’s pretty incoherent and I just wrote it to get it down, but if you think you can understand my jargon-heavy manic prose, feel free to click through.