@cardano strict-checked-vars0.1.0.4

Strict MVars and TVars with invariant checking for IO and IOSim

Strict MVar and TVar interfaces with invariant checking compatible with IO & io-sim.