Remove for name change, to better reflect that this version is a Monadic
Concurrency on Polymorphic ML.
Re-add with different name to better reflect that this version is
Monadic Concurrency on Polymorphic ML.