This module implements the core of labeled MVarss in the 'LIO ad.
to Control.Concurrent.MVar, but the operations take place in the
LIO monad. The types and functions exported by this module are
strictly TCB and do not perform any information flow checks. The
external, safe interface is provided and documented in
LIO.Concurrent.LMVar.