I assume this uses thunks not unlike some lazily-evaluated languages?