[Haskell-cafe] so how does one convert an IO a into an a ?