[tel]

Koen Claessens's A Poor Man's Concurrency Monad [0] is perhaps easier reading than Li and Zdancewic here.

[0] http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.8...