[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.  


Udo.


__________________________________________________________
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