On Sunday, 12 June 2016 at 16:46:13 UTC, Ola Fosheim Grøstad wrote: > > Input world, output modified world... Geez, why doesn't > tutorials on Monads say that before they try to explain it with > code? Because IO is just one of many applications of the monad concept?