The concept of F-independence, previously discussed (Darroch, 1971) for integer-valued variables, is here developed for r continuous, positive variables whose sum is bounded. Part of the theory ...

What a difference restructuring can make. In this version, the compiler has created a closure containing one bound variable: Current. That bound variable is returned for every item in the sequence.