Tackling the Awward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskel PDF — Simon Peyton Jones

https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/mark.pdf