A lot of people want to "inline" IO from a non-IO function too. I'm glad that the fight happens between the developer and the compiler so that it doesn't have

A lot of people want to "inline" IO from a non-IO function too. I'm glad that the fight happens between the developer and the compiler so that it doesn't have to happen between developers on every single pull request.