delay-pure (racket): Non-cached promises for Typed/Racket, like delay/name. Should be sound for occurrence typing (unlike delay/name) because only pure functions are allowed.
Keywords: typed-racket|immutability|pure|racket-library