Thanks for the clarification. Also, constraint of side effects at the language level allows powerful things like... time-traveling debuggers (does GHC provide

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 http://elm-lang.org/blog/time-travel-made-easy