provide Control.Monad.ST.pureST

Allows contained mutation within a pure interface.