Alright, then -- I think we agree for all practical purposes :). Still, I think it is important to realize that while "IO" is 'sort-of-a-monad'... the truth is

Alright, then -- I think we agree for all practical purposes :). Still, I think it is important to realize that while "IO" is 'sort-of-a-monad'... the truth isn't quite that simple :). There's a lot of nastiness hidden behind it, especially FFI and exception-related things... ugh. EDIT: My original point was mostly that maybe he hadn't thought this whole "async every method call!" thing through. That... leads to a mess, especially if every single "thing" you do is a "method call".