Tackling the awkward squad: monadic input/output, concurrency in Haskell (research.microsoft.com)