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