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