非決定性モナド

"non-determinism monad"で検索すれば大量にヒットするかと。でも、それは明らかなので良いとして(?)、他のモナドと重ねたらどうなるのか考え始めると深みにはまるのであった*1。誰かこの論文を理解したら教えてください（いつもの他力本願モード）。とりあえず難しい式はすべて読み飛ばすと（おい）、５節の"implementation and examples"４節の"examples and applications"が、どうしてそんなことができるのか超不思議。

*1:自分はHaskellの授業のレポートで、state monadとnon-determinism monadを合成したらconcurrencyもどきモナドになる、というプログラムを提出しようとしてはまった。