Layered Monads

id:sumiiくんがトラバくれたんだけど、そこから張ってあったリンク。→http://www.diku.dk/~andrzej/papers/RLM-abstract.html

…自分、いまpsが見られない環境なので（ぉ、とりあえずメモ。