export MVar, TVar, and STM non-abstractly