provide Control.Monad.ST.pureRunST

Allows contained mutation within a pure interface.