Concurrency in Haskell: Fast, Simple, Correct