(call/cc (lambda (k)
                (reduce (force (alist-ref var env eqv? (delay (k var)))))
                ))