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? Kind regards Tom Hofte -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org//pipermail/haskell/attachments/20040611/1401fcfa/attachment.htm