"non-determinism monad"で検索すれば大量にヒットするかと。でも、それは明らかなので良いとして(?)、他のモナドと重ねたらどうなるのか考え始めると深みにはまるのであった*1。誰かこの論文を理解したら教えてください（いつもの他力本願モード）。とりあ…