runM :: M IO a -> IO a
to run 'M'...
Keean.
Udo Stenzel wrote:
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