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
[EMAIL PROTECTED] |work, but rather teach them to long for the endless
[EMAIL PROTECTED] |immensity of the sea. -- Antoine de Saint Exupery
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell