Hi,
I have an question about the IO monad
I want to have a function that unpack an IO. I should have the type: IO a -> a. Is this possible?
Possible, but... in addition to other responses, I'd also recommend looking at this:
http://www.nomaware.com/monads/html/laws.html#nowayout
If you can get computed values out the IO monad, you have the potential to seriously break many things.
#g --
------------ Graham Klyne For email: http://www.ninebynine.org/#Contact
_______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell