A monad for deterministic parallelism
Manticore: a heterogeneous parallel language