> there should be no problem writing big strings, without consuming the whole string

lazy means evaluated when needed. However when a string is evaluated, it is evaluated fully, I guess.