I understand relation to FP. I even think of having lazy-evaluated infinite sequences in my system :)

BTW, great thanks for the paper, it seems to be closely related to what I'm working on.