Is there a standard construct for something of this ilk: unliftM :: Monad m a -> a In this case, I need to construct a localised stateful computation comp :: Int -> Int comp n = unliftM (do x <- ... return x) -- Julian Assange |If you want to build a ship, don't drum up people |together to collect wood or assign them tasks and proff@iq.org |work, but rather teach them to long for the endless proff@gnu.ai.mit.edu |immensity of the sea. -- Antoine de Saint Exupery