Freezable/Thawable Vars in the ST monad