Re[2]: Lazy IO and asynchronous callbacks?