Just a moment...
dl.acm.org

Bidirectional effects can encode a lispish condition system! Comments