Programming languages now routinely incorporate sophisticated mechanisms to handle computational effects – those ancillary actions beyond mere computation, ranging from memory management and ...