A pure specification of basic operations on MVars.
An expression of type
IOSpec MVarS a corresponds to an
computation that uses shared, mutable variables and returns a
value of type
MVarS is not terribly useful. You will probably want
IOSpec (ForkS :+: MVarS).