undo provide all-defined-out in redis.rkt