lazy & lazy-memo eval