Re: how to do lazy IO like getContents?