Re: [Haskell-cafe] Re: [Haskell] Simple IO Regions

up3 is quite easy to define, but it is specific to the monad-transformer you are lifting through... see attached for definition for the state-monad-transformer. Keean. Taral wrote:

On 1/18/06, Keean Schupke wrote:

...

It didnt when I wrote the MonadIO stuff that I use! Here is the missing file ... I tried to put it all in one, but missed the use of up3. (see attached)

All I see is "up3 = undefined"... somehow I don't think that will work.

As far as I know, (t m a -> m a) is only possible for very specific monad transformers...

-- Taral "Computer science is no more about computers than astronomy is about telescopes." -- Edsger Dijkstra