You write about file-lines that it "lazily iterates over lines". That is not true: file-lines is not lazy, it reads the entire file and creates the array of lines as soon as you call it.