Re: how to convert IO String to string (Simple answer)