> I wish I could work in a language that only allows them in functions that explicitly declare that they want to use them, though.

That’s what Haskell does. The big scary M-word just gives you all the other features you end up wanting from your effect system once you have one. See my explanation here: http://programmers.stackexchange.com/questions/258011/altern...