(let ((val (alist-ref var env eqv? (delay (k var)))))
  (if val
      (reduce val)
      val))