Many of the examples in this directory are taken from the paper
"Programming with Algebraic Effects and Handlers" by Andrej Bauer and
Matija Pretnar. The paper is available at http://arxiv.org/abs/1203.1539.