Thanks for the clarification.

Also, constraint of side effects at the language level allows powerful things like... time-traveling debuggers (does GHC provide anything like this, btw? Because it probably could...)

http://elm-lang.org/blog/time-travel-made-easy