Control.Monad.ST.Safe