My first thought was, "Needs more monads".

Sure enough, in the commentary:

> Monads are woefully un-represented here; I would be grateful if someone could contribute a few (progressive) examples in the spirit of the development above.