Day, L., & Hutton, G. (2012). Towards modular compilers for effects.