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 con

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.