[Haskell-cafe] Why no IO transformer monad?

Udo Stenzel u.stenzel at web.de
Mon Dec 20 05:54:24 EST 2004

Keean Schupke <k.schupke at imperial.ac.uk> 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.  


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

More information about the Haskell-Cafe mailing list