-- | Returns the present value of the mutable state reference given
--   a strict superset of :: Participant_State_Var -> IO Participant_State
read :: (MVar a) -> IO a
read = readMVar
read :: (MVar a) -> IO a
read = readMVar
read = readMVar