[Haskell] IO question

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