No, the linked work describes eager data structures that use techniques such as path-copying for persistence. No laziness required.