I thought you would get the following if you have a transformer 'M': runM :: M IO a -> IO a to run 'M'... Keean. Udo Stenzel wrote:

Keean Schupke schrieb am 20.12.04 10:25:36:

...

What about:

runIOT :: Monad m => IOT m a -> IO (m a)

I have a gut feeling that this is unimplementable. However, IO (m a) is what you get using the transformer version of m over IO.

Udo.

__________________________________________________________ Mit WEB.DE FreePhone mit hoechster Qualitaet ab 0 Ct./Min. weltweit telefonieren! http://freephone.web.de/?mc=021201