@tibbe In answer to your question, bc47e6def5dd72d776ef4794fce3336dd5b06f5f is what an implementation without lazy IO looks like. It's up for discussion whether or not we *should* merge that. One telling anecdote: I struggled with this bug for weeks before solving it, but the lazy-less solution worked the first time.