The case against Effect Systems (e.g., the IO data type)
alexn.org