Keean Schupke <[EMAIL PROTECTED]> 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

_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to