Use the ReaderT/TVar solution for globalstate example rather than StateT/MVar.