<div dir="auto">In the "lazy corecursive" section from your original links, you mention a "flatten" function, but then the next function is named "toList". I think this might be an oversight.<div dir="auto"><br></div><div dir="auto">=======</div><div dir="auto">Georgi</div></div>