<div dir="ltr"><span style="color:rgb(0,0,0);font-family:arial">> there should be no problem writing big strings, without consuming the whole string</span><br>​<div>lazy means evaluated when needed. However when a string is evaluated, it is evaluated fully, I guess.<br></div></div>