Proved some basic Haskell concurrency primitives that have the same shape as `sequence` and `mapM`, but which execute the IO actions concurrently.