Understanding Monads. A Guide for the Perplexed (2017)

So basically you have do_input() that can read from keyboard and do_output(x) that can print to screen. But you can't read from do_input to a variable because of reasons of purity I guess.

So you "chain" the functions with bind(do_input(),do_output()).

I guess they explained it very verbosely. A lot of the explanation was quite good, for example why some naive ideas don't work. Some of it was a bit annoying repetition.